changeset 38261 | 4863a3816fc1 |
parent 37308 | 6e44af45b8c5 |
child 39176 | b8fdd3ae8815 |
--- a/src/Tools/jEdit/dist-template/properties/jedit.props Tue Aug 10 14:15:50 2010 +0200 +++ b/src/Tools/jEdit/dist-template/properties/jedit.props Tue Aug 10 14:24:13 2010 +0200 @@ -185,6 +185,7 @@ isabelle.activate.shortcut=CS+ENTER line-end.shortcut=END line-home.shortcut=HOME +lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel mode.isabelle.sidekick.showStatusWindow.label=true print.font=IsabelleText sidekick-tree.dock-position=right