changeset 49702 | 696e91c0bc80 |
parent 49611 | 8e3c10eb6375 |
child 49726 | 2074197dc274 |
--- a/src/Tools/jEdit/lib/Tools/jedit Thu Oct 04 19:31:50 2012 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Thu Oct 04 20:14:40 2012 +0200 @@ -26,6 +26,7 @@ "src/output_dockable.scala" "src/plugin.scala" "src/pretty_text_area.scala" + "src/pretty_tooltip.scala" "src/protocol_dockable.scala" "src/raw_output_dockable.scala" "src/readme_dockable.scala"