Theme Editor: to toggle comment, add Ctrl+7 for German keyboards where Ctrl+/ does not work

This commit is contained in:
Karl Tauber
2021-08-22 17:34:18 +02:00
parent 1759f6b25c
commit e1f30f24a8

View File

@@ -28,6 +28,7 @@ import javax.swing.InputMap;
import javax.swing.KeyStroke;
import javax.swing.UIManager;
import javax.swing.text.BadLocationException;
import org.fife.ui.rsyntaxtextarea.RSyntaxTextAreaEditorKit;
import org.fife.ui.rsyntaxtextarea.TextEditorPane;
import org.fife.ui.rsyntaxtextarea.Token;
import org.fife.ui.rtextarea.RTextArea;
@@ -72,6 +73,8 @@ class FlatSyntaxTextArea
inputMap.put( KeyStroke.getKeyStroke( KeyEvent.VK_DOWN, defaultModifier|alt), FlatSyntaxTextAreaActions.duplicateLinesDownAction );
inputMap.put( KeyStroke.getKeyStroke( KeyEvent.VK_UP, defaultModifier), FlatSyntaxTextAreaActions.incrementNumberAction );
inputMap.put( KeyStroke.getKeyStroke( KeyEvent.VK_DOWN, defaultModifier), FlatSyntaxTextAreaActions.decrementNumberAction );
// add Ctrl+7 for German keyboards where Ctrl+/ does not work
inputMap.put( KeyStroke.getKeyStroke( KeyEvent.VK_7, defaultModifier), RSyntaxTextAreaEditorKit.rstaToggleCommentAction );
}
@Override