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.
clarified default;
authorwenzelm
Mon, 29 Aug 2016 21:46:24 +0200
changeset 63726 dd327befd2ef
parent 63725 4c00ba1ad11a
child 63727 2d21591967bc
clarified default;
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Fri Aug 26 11:58:19 2016 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Mon Aug 29 21:46:24 2016 +0200
@@ -255,6 +255,7 @@
 plugin.MacOSXPlugin.disableOption=true
 prev-bracket.shortcut2=C+e C+8
 print.font=IsabelleText
+print.glyphVector=true
 recent-buffer.shortcut2=C+CIRCUMFLEX
 restore.remote=false
 restore=false
isabelle