# HG changeset patch
# User wenzelm
# Date 1331678734 -3600
# Node ID 3444a24dc4e9fcea3fb61d436824f6733054c169
# Parent  e0cd5c4df8e6a79d8a53441d5f4f81124c056fff
updated to jedit_build-20120313 with jedit-4.5.0;
updated version information;

diff -r e0cd5c4df8e6 -r 3444a24dc4e9 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Tue Mar 13 23:33:35 2012 +0100
+++ b/Admin/isatest/isatest-makedist	Tue Mar 13 23:45:34 2012 +0100
@@ -59,7 +59,7 @@
 
 echo "### building distribution"  >> $DISTLOG 2>&1
 mkdir -p $DISTPREFIX
-$MAKEDIST -j "/home/isabelle/contrib_devel/jedit_build-20111217" >> $DISTLOG 2>&1
+$MAKEDIST -j "/home/isabelle/contrib_devel/jedit_build-20120313" >> $DISTLOG 2>&1
 
 if [ $? -ne 0 ]
 then
diff -r e0cd5c4df8e6 -r 3444a24dc4e9 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Tue Mar 13 23:33:35 2012 +0100
+++ b/src/Tools/jEdit/README_BUILD	Tue Mar 13 23:45:34 2012 +0100
@@ -6,12 +6,11 @@
 
   (experimental support for JDK/OpenJDK 1.7)
 
-* Scala 2.8.2.final http://www.scala-lang.org
-
-  (experimental support for 2.9.1.final)
+* Scala 2.8.2.final or 2.9.1-1
+  http://www.scala-lang.org
 
 * Auxiliary jedit_build component
-  http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz
+  http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz
 
 
 Important settings within Isabelle environment
diff -r e0cd5c4df8e6 -r 3444a24dc4e9 src/Tools/jEdit/src/text_area_painter.scala
--- a/src/Tools/jEdit/src/text_area_painter.scala	Tue Mar 13 23:33:35 2012 +0100
+++ b/src/Tools/jEdit/src/text_area_painter.scala	Tue Mar 13 23:45:34 2012 +0100
@@ -185,7 +185,7 @@
       val line_start = buffer.getLineStartOffset(line)
 
       out.clear
-      handler.init(painter.getStyles, font_context, painter, out, margin) // jedit-4.5.0: line_start
+      handler.init(painter.getStyles, font_context, painter, out, margin, line_start)
       buffer.markTokens(line, handler)
 
       for (i <- 0 until out.size) {