diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java index 735289773..12beb4754 100644 --- a/app/src/processing/app/Base.java +++ b/app/src/processing/app/Base.java @@ -112,8 +112,8 @@ public class Base { createAndShowGUI(args); } catch (Throwable t) { Messages.showTrace("It was not meant to be", - "A serious problem happened during startup. Please report:\n" + - "http://github.com/processing/processing/issues/new", t, true); + "A serious problem happened during startup. Please report:\n" + + "http://github.com/processing/processing/issues/new", t, true); } } }); diff --git a/app/src/processing/app/syntax/JEditTextArea.java b/app/src/processing/app/syntax/JEditTextArea.java index b44c7b5b9..da390f2e3 100644 --- a/app/src/processing/app/syntax/JEditTextArea.java +++ b/app/src/processing/app/syntax/JEditTextArea.java @@ -93,6 +93,7 @@ public class JEditTextArea extends JComponent if (!DISABLE_CARET) { caretTimer = new Timer(500, new ActionListener() { public void actionPerformed(ActionEvent e) { + System.out.println("blink " + caretTimer); if (hasFocus()) { blinkCaret(); } @@ -1286,8 +1287,7 @@ public class JEditTextArea extends JComponent fireCaretEvent(); } - // When the user is typing, etc, we don't want the caret - // to blink + // When the user is typing, etc, we don't want the caret to blink blink = true; if (!DISABLE_CARET) { caretTimer.restart(); @@ -1937,6 +1937,7 @@ public class JEditTextArea extends JComponent // focusedComponent = null; if (!DISABLE_CARET) { caretTimer.stop(); + System.out.println("disabling caret"); } } @@ -2001,13 +2002,11 @@ public class JEditTextArea extends JComponent protected static String RIGHT = "right"; protected static String BOTTOM = "bottom"; -// protected static JEditTextArea focusedComponent; protected Timer caretTimer; - private boolean DISABLE_CARET = false; + static private final boolean DISABLE_CARET = false; protected TextAreaPainter painter; - //protected EditPopupMenu popup; protected JPopupMenu popup; protected EventListenerList eventListenerList;