From 03e7c34941d4559fdd89aecf71bbee77393d3ef0 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 18 Oct 2026 22:18:39 +0000 Subject: [PATCH 1/3] Initial plan From 93228f5b7a49b9ab448de4bf547576ae670d2b62 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 18 Oct 2026 22:19:32 +0000 Subject: [PATCH 2/3] Apply remaining changes Co-authored-by: highperformancecoder <3075825+highperformancecoder@users.noreply.github.com> --- .../src/app/managers/KeyBindingsManager.ts | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/gui-js/apps/minsky-electron/src/app/managers/KeyBindingsManager.ts b/gui-js/apps/minsky-electron/src/app/managers/KeyBindingsManager.ts index d5642cef5..a910aa871 100644 --- a/gui-js/apps/minsky-electron/src/app/managers/KeyBindingsManager.ts +++ b/gui-js/apps/minsky-electron/src/app/managers/KeyBindingsManager.ts @@ -1,6 +1,5 @@ import { MinskyProcessPayload, - ZOOM_OUT_FACTOR, minsky, RenderNativeWindow, } from '@minsky/shared'; import utf8 from 'utf8'; @@ -188,11 +187,7 @@ export class KeyBindingsManager { break; case '-': - if (payload.location !== 3) { - executed = false; - } else { - await this.handleMinusKey(payload); - } + await this.handleMinusKey(payload); break; case '*': @@ -288,8 +283,8 @@ export class KeyBindingsManager { } private static async handleMinusKey(payload: MinskyProcessPayload) { - // - await this.zoom(ZOOM_OUT_FACTOR); + minsky.canvas.addOperation("subtract"); + await CommandsManager.mouseUp(payload.mouseX, payload.mouseY); return; } From 53e37b1a735cab450f99131514c21733c95704f3 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Mon, 19 Oct 2026 23:18:14 +0000 Subject: [PATCH 3/3] Let '-' (including keypad) open the text input dialog Co-authored-by: highperformancecoder <3075825+highperformancecoder@users.noreply.github.com> --- .../src/app/managers/KeyBindingsManager.ts | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/gui-js/apps/minsky-electron/src/app/managers/KeyBindingsManager.ts b/gui-js/apps/minsky-electron/src/app/managers/KeyBindingsManager.ts index a910aa871..dfa954cea 100644 --- a/gui-js/apps/minsky-electron/src/app/managers/KeyBindingsManager.ts +++ b/gui-js/apps/minsky-electron/src/app/managers/KeyBindingsManager.ts @@ -186,10 +186,6 @@ export class KeyBindingsManager { await this.handlePlusKey(payload); break; - case '-': - await this.handleMinusKey(payload); - break; - case '*': minsky.canvas.addOperation("multiply"); await CommandsManager.mouseUp(payload.mouseX, payload.mouseY); @@ -282,12 +278,6 @@ export class KeyBindingsManager { // return; } - private static async handleMinusKey(payload: MinskyProcessPayload) { - minsky.canvas.addOperation("subtract"); - await CommandsManager.mouseUp(payload.mouseX, payload.mouseY); - return; - } - private static async zoom(factor: number) { const cBounds = minsky.model.cBounds(); const x = 0.5 * (cBounds[2] + cBounds[0]);