From c99bb2122dcc69471916fe772454159b70ff11e1 Mon Sep 17 00:00:00 2001 From: Simon Lydell Date: Sun, 28 Apr 2024 14:23:33 +0200 Subject: [PATCH] Allow `+` as zoom-in hotkey --- js/editor/main.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/js/editor/main.js b/js/editor/main.js index ef6f09c..fdc5f61 100644 --- a/js/editor/main.js +++ b/js/editor/main.js @@ -210,7 +210,9 @@ export class Editor extends PrimaryView { else if (ev.key === '-') { this.zoom_by(-1); } - else if (ev.key === '=') { + // `=` because US keyboards have `+` on the same key as `=`, and `+` is shift-`=` + // `+` because many other keyboards have `+` on its own key, un-shifted, while `=` is shifted + else if (ev.key === '=' || ev.key === '+') { this.zoom_by(+1); } else if (ev.key === '1') {