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 redundant addLeftOfScrollBar;
authorwenzelm
Fri, 18 Mar 2016 22:00:26 +0100
changeset 62675 2f816b80e3f4
parent 62674 6cfa0de8bb99
child 62676 1792f8ed2b04
avoid redundant addLeftOfScrollBar;
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Fri Mar 18 21:55:46 2016 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Mar 18 22:00:26 2016 +0100
@@ -181,6 +181,7 @@
 firstTime=false
 focus-buffer-switcher.shortcut2=A+CIRCUMFLEX
 foldPainter=Circle
+gatchan.highlight.overview=false
 home.shortcut=
 insert-newline-indent.shortcut=
 insert-newline.shortcut=ENTER
isabelle