From 3b5f0208d05d5e7a69cd78d7ab917b94eeb8587c Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Sat, 11 Feb 2017 22:25:12 +0000
Subject: [PATCH] remove the unused debugging stuff

---
 app/src/processing/app/ui/Editor.java | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/app/src/processing/app/ui/Editor.java b/app/src/processing/app/ui/Editor.java
index b7bfcec9c..b4b1356fd 100644
--- a/app/src/processing/app/ui/Editor.java
+++ b/app/src/processing/app/ui/Editor.java
@@ -262,18 +262,8 @@ public abstract class Editor extends JFrame implements RunnerListener {
     textarea = createTextArea();
     textarea.setRightClickPopup(new TextAreaPopup());
     textarea.setHorizontalOffset(JEditTextArea.leftHandGutter);
-    /*
-    //System.out.println(textarea.getPreferredSize());
-    final int editorHeight = 200;
-    //Preferences.getInteger("editor.window.height.default") - 340; //240;
-    final int editorWidth =
-      Preferences.getInteger("editor.window.width.default") - 70;
-//    textarea.setPreferredSize(new Dimension(textarea.getPreferredSize().width,
-//                                            Toolkit.zoom(textareaHeight)));
-    textarea.setPreferredSize(Toolkit.zoom(editorWidth, editorHeight));
-    */
 
-    { // Hack: add Numpad Slash as an alternative shortcut for Comment/Uncomment
+    { // Hack: add Numpad Slash as alternative shortcut for Comment/Uncomment
       int modifiers = Toolkit.awtToolkit.getMenuShortcutKeyMask();
       KeyStroke keyStroke = KeyStroke.getKeyStroke(KeyEvent.VK_DIVIDE, modifiers);
       final String ACTION_KEY = "COMMENT_UNCOMMENT_ALT";