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 (see 019856db2bb6, ea52509f4c42);
authorwenzelm
Wed, 31 Aug 2016 10:49:30 +0200
changeset 63735 fb0ae6b60491
parent 63734 133e3e84e6fb
child 63736 33fb64d7842a
clarified (see 019856db2bb6, ea52509f4c42);
src/Tools/jEdit/src/jEdit.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jEdit.props	Tue Aug 30 21:56:14 2016 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Wed Aug 31 10:49:30 2016 +0200
@@ -184,7 +184,7 @@
 gatchan.highlight.overview=false
 home.shortcut=
 insert-newline-indent.shortcut=
-insert-newline.shortcut=ENTER
+insert-newline.shortcut=
 isabelle-debugger.dock-position=floating
 isabelle-documentation.dock-position=right
 isabelle-output.dock-position=bottom
isabelle