# HG changeset patch
# User wenzelm
# Date 1281443053 -7200
# Node ID 4863a3816fc106f9c2802a433454978ece569a06
# Parent  d4a1c7a19be3dd7c9109d87934f837cba4709ecc
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;

diff -r d4a1c7a19be3 -r 4863a3816fc1 src/Tools/jEdit/dist-template/properties/jedit.props
--- 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