author | wenzelm |
Sat, 01 Dec 2012 17:23:50 +0100 | |
changeset 50305 | 8290dc6c8d7f |
parent 48786 | src/Tools/jEdit/patches/jedit-4.5.2/caret@2b08d10a2f75 |
permissions | -rw-r--r-- |
diff -ru jEdit/org/gjt/sp/jedit/textarea/TextArea.java jEdit-patched/org/gjt/sp/jedit/textarea/TextArea.java --- jEdit/org/gjt/sp/jedit/textarea/TextArea.java 2012-06-15 22:20:05.000000000 +0200 +++ jEdit-patched/org/gjt/sp/jedit/textarea/TextArea.java 2012-08-13 19:11:04.000000000 +0200 @@ -4907,7 +4907,7 @@ /** * Returns true if the caret is visible, false otherwise. */ - final boolean isCaretVisible() + public final boolean isCaretVisible() { return blink && hasFocus(); } //}}}