1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-11 22:24:13 +01:00

configurable shortcut for comment / uncomment

This commit is contained in:
Michael michael.sytko 2017-01-28 12:05:20 +01:00 committed by Cristian Maglie
parent e4ebd4a6fc
commit 74384400e2

View File

@ -1344,7 +1344,7 @@ public class Editor extends JFrame implements RunnerListener {
menu.addSeparator(); menu.addSeparator();
JMenuItem commentItem = newJMenuItem(tr("Comment/Uncomment"), '/'); JMenuItem commentItem = newJMenuItem(tr("Comment/Uncomment"), PreferencesData.get("editor.keys.shortcut_comment", "/").charAt(0));
commentItem.addActionListener(new ActionListener() { commentItem.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) { public void actionPerformed(ActionEvent e) {
getCurrentTab().handleCommentUncomment(); getCurrentTab().handleCommentUncomment();