Add font size shortcuts (menu and keyboard) #6394
Conversation
|
@ArduinoBot build this please |
|
✅ Build completed. Please test this code using one of the following: ⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-6394-BUILD-696-linux32.tar.xz ℹ️ The |
| @@ -1374,6 +1374,24 @@ public void actionPerformed(ActionEvent e) { | |||
|
|
|||
| menu.addSeparator(); | |||
|
|
|||
| JMenuItem increaseFontSizeItem = newJMenuItem(tr("Increase Font Size"), '='); | |||
There was a problem hiding this comment.
Why didn't you choose ctrl + '+' as increase shortcut? The = version doesn't seem to work with an Italian keyboard (since = can only be reached with Maiusc modifier)
There was a problem hiding this comment.
Ah! I hadn't thought about other keyboards.
One convention I'm familiar with is to use - and = to avoid having to use a shift key to increase but not decrease the font size. (Plus can only be used with a shift modifier on a US keyboard.)
Perhaps ctrl + '+' should be the primary shortcut and ctrl + '=' be secondary?
There was a problem hiding this comment.
Could work, I'm ccing our UX designer for an advice 🙂 @00alis
|
Superseded by #6551 |
Having a stab at #6359.
(Scaling font size using keyboard shortcuts.)
I haven't implemented Ctrl-Scroll, but have implemented keyboard shortcuts using the existing menu item pattern.
Let me know if I should go about this a different way!