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.
avoid odd warnings due to failure of systray icon;
authorwenzelm
Mon, 03 Dec 2012 17:08:39 +0100
changeset 50318 6be9e490d82a
parent 50317 4d1590544b91
child 50320 6d5dcfb62869
avoid odd warnings due to failure of systray icon;
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Mon Dec 03 16:07:28 2012 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Mon Dec 03 17:08:39 2012 +0100
@@ -214,6 +214,7 @@
 sidekick.complete-popup.accept-characters=\\n\\t
 sidekick.complete-popup.insert-characters=
 sidekick.splitter.location=721
+systrayicon=false
 tip.show=false
 twoStageSave=false
 vfs.browser.dock-position=floating
isabelle