changeset 65258 | a0701669d159 |
parent 65139 | 0a2c0712e432 |
child 65329 | 4f3da52cec02 |
--- a/src/Tools/jEdit/lib/Tools/jedit Wed Mar 15 13:09:08 2017 +0100 +++ b/src/Tools/jEdit/lib/Tools/jedit Wed Mar 15 13:35:14 2017 +0100 @@ -63,6 +63,7 @@ "src/sledgehammer_dockable.scala" "src/state_dockable.scala" "src/symbols_dockable.scala" + "src/syntax_style.scala" "src/syslog_dockable.scala" "src/text_overview.scala" "src/text_structure.scala"