src/Tools/jEdit/src/rendering.scala

         }).headOption.map(_.info)
 
 
   /* command status overview */
 
-  def overview_limit: Int = options.int("jedit_text_overview_limit")
-
   def overview_color(range: Text.Range): Option[Color] =
   {
     if (snapshot.is_outdated) None
     else {
       val results =