minor cleaning

This commit is contained in:
Ben Fry
2015-08-19 10:35:54 -04:00
parent bf6a6f6dbb
commit 64bddb2602
2 changed files with 6 additions and 7 deletions
+2 -2
View File
@@ -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);
}
}
});
@@ -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;