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.
less frequent sidekick parsing, which is relatively slow;
authorwenzelm
Sun, 28 Nov 2010 19:30:52 +0100
changeset 40791 d71fe93e8e0c
parent 40790 cd7b17ba502b
child 40792 1d71a45590e4
less frequent sidekick parsing, which is relatively slow;
src/Tools/jEdit/dist-template/properties/jedit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/dist-template/properties/jedit.props	Sun Nov 28 18:31:54 2010 +0100
+++ b/src/Tools/jEdit/dist-template/properties/jedit.props	Sun Nov 28 19:30:52 2010 +0100
@@ -5,7 +5,7 @@
 buffer.lineSeparator=\n
 buffer.maxLineLen=100
 buffer.noTabs=true
-buffer.sidekick.keystroke-parse=true
+buffer.sidekick.keystroke-parse=false
 buffer.tabSize=2
 console.encoding=UTF-8
 console.font=IsabelleText
isabelle