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..dfa954cea 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'; @@ -187,14 +186,6 @@ export class KeyBindingsManager { await this.handlePlusKey(payload); break; - case '-': - if (payload.location !== 3) { - executed = false; - } else { - await this.handleMinusKey(payload); - } - break; - case '*': minsky.canvas.addOperation("multiply"); await CommandsManager.mouseUp(payload.mouseX, payload.mouseY); @@ -287,12 +278,6 @@ export class KeyBindingsManager { // return; } - private static async handleMinusKey(payload: MinskyProcessPayload) { - // - await this.zoom(ZOOM_OUT_FACTOR); - return; - } - private static async zoom(factor: number) { const cBounds = minsky.model.cBounds(); const x = 0.5 * (cBounds[2] + cBounds[0]);