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

Use CTRL+"+" as Increase Font shortcut

Browse Source
This commit is contained in:
Martino Facchin 2017-07-25 14:57:21 +02:00
parent 04a7e7ff15
commit c07f8fca54
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1374,7 +1374,7 @@ 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"), '+');
increaseFontSizeItem.addActionListener(new ActionListener() { increaseFontSizeItem.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) { public void actionPerformed(ActionEvent e) {
base.handleFontSizeChange(1); base.handleFontSizeChange(1);