rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-19 08:52:15 +01:00
Code Issues Releases Activity

Fixed wrong keybinding for "Increase Font Size"

Browse Source 
See https://github.com/arduino/Arduino/issues/6806#issuecomment-335044967
This commit is contained in:
Cristian Maglie 2018-08-15 00:11:41 +02:00
parent 4b59dbae24
commit 1a576dd468
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
app/src/processing/app/Editor.java
View File

@ -1394,12 +1394,8 @@ public class Editor extends JFrame implements RunnerListener {
menu.addSeparator(); menu.addSeparator();
JMenuItem increaseFontSizeItem = newJMenuItem(tr("Increase Font Size"), '+'); JMenuItem increaseFontSizeItem = newJMenuItem(tr("Increase Font Size"), KeyEvent.VK_PLUS);
increaseFontSizeItem.addActionListener(new ActionListener() { increaseFontSizeItem.addActionListener(event -> base.handleFontSizeChange(1));
public void actionPerformed(ActionEvent e) {
base.handleFontSizeChange(1);
}
});
menu.add(increaseFontSizeItem); menu.add(increaseFontSizeItem);
JMenuItem decreaseFontSizeItem = newJMenuItem(tr("Decrease Font Size"), '-'); JMenuItem decreaseFontSizeItem = newJMenuItem(tr("Decrease Font Size"), '-');