--- a/src/Tools/jEdit/lib/Tools/jedit Sun Jun 12 16:19:29 2011 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit Sun Jun 12 20:08:49 2011 +0200
@@ -23,6 +23,7 @@
"src/raw_output_dockable.scala"
"src/scala_console.scala"
"src/session_dockable.scala"
+ "src/text_painter.scala"
)
declare -a RESOURCES=(