Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prefer Nimbus look and feel on all platforms, instead of the somewhat ugly javax.swing.plaf.metal.MetalLookAndFeel, which presumably is implicit fall-back nonetheless;
authorwenzelm
Tue, 10 Aug 2010 14:24:13 +0200
changeset 38261 4863a3816fc1
parent 38260 d4a1c7a19be3
child 38262 bb2df73fab2c
prefer Nimbus look and feel on all platforms, instead of the somewhat ugly javax.swing.plaf.metal.MetalLookAndFeel, which presumably is implicit fall-back nonetheless;
src/Tools/jEdit/dist-template/properties/jedit.props file | annotate | diff | comparison | revisions 
--- 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
isabelle