--- a/src/Tools/jEdit/patches/jedit/caret Sat Dec 01 17:23:50 2012 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-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();
- } //}}}