From 5e52f5326d525bcb96e98b6e6cb753bad6f7a6a9 Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Sat, 11 Feb 2017 22:25:38 +0000 Subject: [PATCH] line lengths, people --- app/src/processing/app/ui/Editor.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/app/src/processing/app/ui/Editor.java b/app/src/processing/app/ui/Editor.java index b4b1356fd..0039ab18e 100644 --- a/app/src/processing/app/ui/Editor.java +++ b/app/src/processing/app/ui/Editor.java @@ -265,7 +265,8 @@ public abstract class Editor extends JFrame implements RunnerListener { { // Hack: add Numpad Slash as alternative shortcut for Comment/Uncomment int modifiers = Toolkit.awtToolkit.getMenuShortcutKeyMask(); - KeyStroke keyStroke = KeyStroke.getKeyStroke(KeyEvent.VK_DIVIDE, modifiers); + KeyStroke keyStroke = + KeyStroke.getKeyStroke(KeyEvent.VK_DIVIDE, modifiers); final String ACTION_KEY = "COMMENT_UNCOMMENT_ALT"; textarea.getInputMap().put(keyStroke, ACTION_KEY); textarea.getActionMap().put(ACTION_KEY, new AbstractAction() {