diff --git a/app/src/processing/app/ui/Editor.java b/app/src/processing/app/ui/Editor.java index c3dd0202f9..7f594c0c82 100644 --- a/app/src/processing/app/ui/Editor.java +++ b/app/src/processing/app/ui/Editor.java @@ -372,6 +372,7 @@ public void actionPerformed(ActionEvent e) { } }); } + } @@ -814,6 +815,18 @@ protected JMenu buildEditMenu() { item.addActionListener(e -> handleIndentOutdent(false)); menu.add(item); + item = Toolkit.newJMenuItemExt("menu.edit.increase_font"); + item.addActionListener(e -> { + modifyFontSize(true); + }); + menu.add(item); + + item = Toolkit.newJMenuItemExt("menu.edit.decrease_font"); + item.addActionListener(e -> { + modifyFontSize(false); + }); + menu.add(item); + menu.addSeparator(); item = Toolkit.newJMenuItem(Language.text("menu.edit.find"), 'F'); @@ -871,6 +884,16 @@ public void menuSelected(MenuEvent e) { return menu; } + protected void modifyFontSize(boolean increase){ + var fontSize = Preferences.getInteger("editor.font.size"); + fontSize += increase ? 1 : -1; + fontSize = Math.max(5, Math.min(72, fontSize)); + Preferences.setInteger("editor.font.size", fontSize); + for (Editor editor : base.getEditors()) { + editor.applyPreferences(); + } + Preferences.save(); + } abstract public JMenu buildSketchMenu(); diff --git a/build/shared/lib/languages/PDE.properties b/build/shared/lib/languages/PDE.properties index 604cf4e413..9d03f33c08 100644 --- a/build/shared/lib/languages/PDE.properties +++ b/build/shared/lib/languages/PDE.properties @@ -59,6 +59,14 @@ menu.edit.decrease_indent = ← Decrease Indent menu.edit.decrease_indent.keystroke.macos = meta pressed OPEN_BRACKET menu.edit.decrease_indent.keystroke.windows = ctrl pressed OPEN_BRACKET menu.edit.decrease_indent.keystroke.linux = ctrl pressed OPEN_BRACKET +menu.edit.increase_font = Increase Font Size +menu.edit.increase_font.keystroke.macos = meta pressed EQUALS +menu.edit.increase_font.keystroke.windows = ctrl pressed EQUALS +menu.edit.increase_font.keystroke.linux = ctrl pressed EQUALS +menu.edit.decrease_font = Decrease Font Size +menu.edit.decrease_font.keystroke.macos = meta pressed MINUS +menu.edit.decrease_font.keystroke.windows = ctrl pressed MINUS +menu.edit.decrease_font.keystroke.linux = ctrl pressed MINUS menu.edit.find = Find... menu.edit.find_next = Find Next menu.edit.find_previous = Find Previous