# HG changeset patch
# User wenzelm
# Date 1442694008 -7200
# Node ID 413075a38b9e3d84aa58f0d825a9165d3146b761
# Parent  459ba59535177f736ea3960510c277c70207795a
obsolete;

diff -r 459ba5953517 -r 413075a38b9e src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Sat Sep 19 21:09:38 2015 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Sat Sep 19 22:20:08 2015 +0200
@@ -905,9 +905,6 @@
   text buffer. The graphics is scaled to fit the logical buffer length into
   the given window height. Mouse clicks on the overview area position the
   cursor approximately to the corresponding line of text in the buffer.
-  Repainting the overview in real-time causes problems with big theories, so
-  it is restricted according to the system option @{system_option
-  jedit_text_overview_limit} (in characters).
 
   Another course-grained overview is provided by the \emph{Theories}
   panel, but without direct correspondence to text positions.  A