src/Tools/jEdit/patches/jedit-4.5.2/caret

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/patches/jedit-4.5.2/caret	Mon Aug 13 19:36:34 2012 +0200
@@ -0,0 +1,12 @@
+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();
+ 	} //}}}