src/Tools/jEdit/src/isabelle_rendering.scala

--- a/src/Tools/jEdit/src/isabelle_rendering.scala	Mon Oct 22 14:52:38 2012 +0200
+++ b/src/Tools/jEdit/src/isabelle_rendering.scala	Mon Oct 22 16:27:55 2012 +0200
@@ -149,6 +149,8 @@
 
   /* command overview */
 
+  val overview_limit = options.int("jedit_text_overview_limit")
+
   def overview_color(range: Text.Range): Option[Color] =
   {
     if (snapshot.is_outdated) None