# HG changeset patch
# User wenzelm
# Date 1275055045 -7200
# Node ID 88255b98a22fbb295f8c067bc5131d844e2f27d5
# Parent  1754a1c17426b215a0ff88929dc8ba080c2c4ee6
also set font for printing, which actually works out of the box;

diff -r 1754a1c17426 -r 88255b98a22f src/Tools/jEdit/dist-template/properties/jedit.props
--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Fri May 28 15:17:17 2010 +0200
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Fri May 28 15:57:25 2010 +0200
@@ -180,6 +180,7 @@
 isabelle-protocol.dock-position=bottom
 isabelle.activate.shortcut=CS+ENTER
 mode.isabelle.sidekick.showStatusWindow.label=true
+print.font=IsabelleText
 sidekick-tree.dock-position=right
 sidekick.buffer-save-parse=true
 sidekick.complete-delay=300