notes and disable electric scroll (issue 1055)

This commit is contained in:
benfry
2012-11-24 21:22:09 +00:00
parent 772597e99b
commit bb692b77bc
3 changed files with 15 additions and 9 deletions

View File

@@ -142,7 +142,11 @@ public class PdeTextAreaDefaults extends TextAreaDefaults {
document = new SyntaxDocument();
editable = true;
electricScroll = 3;
// Set to 0 for revision 0215 because it causes strange jumps
// http://code.google.com/p/processing/issues/detail?id=1055
electricScroll = 0;
caretVisible = true;
caretBlinks = Preferences.getBoolean("editor.caret.blink");
blockCaret = Preferences.getBoolean("editor.caret.block");