Skip to content

Commit

Permalink
fix the shortcut for increasing font size
Browse files Browse the repository at this point in the history
  • Loading branch information
zrquan authored and forgedhallpass committed May 20, 2024
1 parent 1c1b8d4 commit 893c486
Showing 1 changed file with 1 addition and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -137,6 +137,7 @@ private void setKeyboardShortcuts() {
SwingUtils.setKeyboardShortcut(this, KeyStroke.getKeyStroke(KeyEvent.VK_E, InputEvent.CTRL_DOWN_MASK | InputEvent.SHIFT_DOWN_MASK), () -> this.templateEditor.requestFocus());
SwingUtils.setKeyboardShortcut(this, KeyStroke.getKeyStroke(KeyEvent.VK_S, InputEvent.CTRL_DOWN_MASK), this::saveTemplateToFile);
SwingUtils.setKeyboardShortcut(this, KeyStroke.getKeyStroke(KeyEvent.VK_PLUS, InputEvent.CTRL_DOWN_MASK), () -> deriveFont(Arrays.asList(this.templateEditor, this.outputPane), size -> ++size));
SwingUtils.setKeyboardShortcut(this, KeyStroke.getKeyStroke(KeyEvent.VK_EQUALS, InputEvent.CTRL_DOWN_MASK | InputEvent.SHIFT_DOWN_MASK), () -> deriveFont(Arrays.asList(this.templateEditor, this.outputPane), size -> ++size));
SwingUtils.setKeyboardShortcut(this, KeyStroke.getKeyStroke(KeyEvent.VK_MINUS, InputEvent.CTRL_DOWN_MASK), () -> deriveFont(Arrays.asList(this.templateEditor, this.outputPane), size -> --size));
}

Expand Down

0 comments on commit 893c486

Please sign in to comment.