# HG changeset patch
# User wenzelm
# Date 1230492673 -3600
# Node ID db45b50cd361b8ac7dd7f2f16c05ab18d0f495e6
# Parent  57fce8528a22aaa167df72c0bb657afce7ef4d00
tuned;

diff -r 57fce8528a22 -r db45b50cd361 src/Tools/jEdit/src/jedit/TheoryView.scala
--- a/src/Tools/jEdit/src/jedit/TheoryView.scala	Sun Dec 28 20:30:54 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/TheoryView.scala	Sun Dec 28 20:31:13 2008 +0100
@@ -190,7 +190,7 @@
   /* TextAreaExtension methods */
 
   override def paintValidLine(gfx: Graphics2D,
-    screen_line: Int, pl: Int, start: Int, end: Int, y: Int) =
+    screen_line: Int, physical_line: Int, start: Int, end: Int, y: Int) =
   {
     val saved_color = gfx.getColor