changeset 49411 | 1da54e9bda68 |
parent 49406 | 38db4832b210 |
child 49492 | 2e3e7ea5ce8e |
--- a/src/Tools/jEdit/lib/Tools/jedit Mon Sep 17 20:23:25 2012 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Mon Sep 17 20:34:19 2012 +0200 @@ -28,10 +28,10 @@ "src/protocol_dockable.scala" "src/raw_output_dockable.scala" "src/readme_dockable.scala" + "src/rich_text_area.scala" "src/scala_console.scala" "src/session_dockable.scala" "src/syslog_dockable.scala" - "src/text_area_painter.scala" "src/text_overview.scala" "src/token_markup.scala" )