src/Tools/jEdit/src/text_overview.scala

 import java.awt.{Graphics, Graphics2D, BorderLayout, Dimension, Color}
 import java.awt.event.{MouseAdapter, MouseEvent}
 import javax.swing.{JPanel, ToolTipManager}
 
 
-class Text_Overview(doc_view: Document_View) extends JPanel(new BorderLayout)
-{
+class Text_Overview(doc_view: Document_View) extends JPanel(new BorderLayout) {
   /* GUI components */
 
   private val text_area = doc_view.text_area
   private val buffer = doc_view.model.buffer
 

   setPreferredSize(new Dimension(WIDTH, 0))
 
   setRequestFocusEnabled(false)
 
   addMouseListener(new MouseAdapter {
-    override def mousePressed(event: MouseEvent): Unit =
-    {
+    override def mousePressed(event: MouseEvent): Unit = {
       val line = (event.getY * lines()) / getHeight
       if (line >= 0 && line < text_area.getLineCount)
         text_area.setCaretPosition(text_area.getLineStartOffset(line))
     }
   })
 
-  override def addNotify(): Unit =
-  {
+  override def addNotify(): Unit = {
     super.addNotify()
     ToolTipManager.sharedInstance.registerComponent(this)
   }
 
-  override def removeNotify(): Unit =
-  {
+  override def removeNotify(): Unit = {
     ToolTipManager.sharedInstance.unregisterComponent(this)
     super.removeNotify
   }
 
 

   private var current_overview = Overview()
 
   private val delay_repaint =
     Delay.first(PIDE.options.seconds("editor_update_delay"), gui = true) { repaint() }
 
-  override def paintComponent(gfx: Graphics): Unit =
-  {
+  override def paintComponent(gfx: Graphics): Unit = {
     super.paintComponent(gfx)
     GUI_Thread.assert {}
 
     doc_view.rich_text_area.robust_body(()) {
       JEdit_Lib.buffer_lock(buffer) {

           val rendering = doc_view.get_rendering()
           val overview = get_overview()
 
           if (rendering.snapshot.is_outdated || is_running()) invoke()
           else {
-            val line_offsets =
-            {
+            val line_offsets = {
               val line_manager = JEdit_Lib.buffer_line_manager(buffer)
               val a = new Array[Int](line_manager.getLineCount)
               for (i <- 1 until a.length) a(i) = line_manager.getLineEndOffset(i - 1)
               a
             }

                 val line_count = overview.line_count
                 val char_count = overview.char_count
                 val L = overview.L
                 val H = overview.H
 
-                @tailrec def loop(l: Int, h: Int, p: Int, q: Int, colors: List[Color_Info])
-                  : List[Color_Info] =
-                {
+                @tailrec def loop(
+                  l: Int,
+                  h: Int,
+                  p: Int,
+                  q: Int,
+                  colors: List[Color_Info]
+                ): List[Color_Info] = {
                   Exn.Interrupt.expose()
 
                   if (l < line_count && h < H) {
                     val p1 = p + H
                     val q1 = q + HEIGHT * L