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 view.title;
authorwenzelm
Sat, 30 Nov 2013 17:38:08 +0100
changeset 54654 6a35bc1ee210
parent 54653 e38592fa2830
child 54655 9e8189a841f7
clarified view.title;
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Sat Nov 30 17:26:00 2013 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Sat Nov 30 17:38:08 2013 +0100
@@ -264,4 +264,5 @@
 view.middleMousePaste=true
 view.showToolbar=false
 view.thickCaret=true
+view.title=Isabelle/jEdit -\u0020
 view.width=1072
isabelle