# HG changeset patch
# User wenzelm
# Date 1252237434 -7200
# Node ID dad4c06acd7be7c0849371aaa785d9cdfd7e3e0a
# Parent  4f023df5a655c2e30707cd188c5be731e6dbbc8a
tuned;

diff -r 4f023df5a655 -r dad4c06acd7b src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala
--- a/src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala	Sun Sep 06 13:40:27 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala	Sun Sep 06 13:43:54 2009 +0200
@@ -77,7 +77,7 @@
     }
   }
 
-override def paintComponent(gfx : Graphics) {
+  override def paintComponent(gfx: Graphics) {
     super.paintComponent(gfx)
     val buffer = textarea.getBuffer
     val theory_view = Isabelle.prover_setup(buffer).get.theory_view
@@ -87,12 +87,11 @@
       paintCommand(c, buffer, document, gfx)
   }
 
-override def getPreferredSize = new Dimension(10,0)
-
-private def lineToY(line : Int) : Int =
-  (line * getHeight) / (textarea.getBuffer.getLineCount max textarea.getVisibleLines)
+  override def getPreferredSize = new Dimension(10,0)
 
-private def yToLine(y : Int) : Int =
-  (y * (textarea.getBuffer.getLineCount max textarea.getVisibleLines)) / getHeight
+  private def lineToY(line : Int): Int =
+    (line * getHeight) / (textarea.getBuffer.getLineCount max textarea.getVisibleLines)
 
+  private def yToLine(y : Int): Int =
+    (y * (textarea.getBuffer.getLineCount max textarea.getVisibleLines)) / getHeight
 }
\ No newline at end of file