| changeset 34425 | 1a574ef87254 |
| parent 34423 | ec74cd63f7cb |
| child 34512 | 14d70378f1c7 |
--- a/src/Tools/jEdit/dist-template/properties/jedit.props Sat Dec 20 17:41:57 2008 +0100 +++ b/src/Tools/jEdit/dist-template/properties/jedit.props Sat Dec 20 17:53:00 2008 +0100 @@ -21,5 +21,7 @@ view.gutter.fontsize=12 view.middleMousePaste=true view.showToolbar=false +buffer.sidekick.keystroke-parse=true +sidekick.buffer-save-parse=true sidekick-tree.dock-position=right isabelle-state.dock-position=bottom