src/Tools/jEdit/src/jEdit.props
changeset 63737 fb0ae6b60491
parent 63726 dd327befd2ef
child 63751 4fe8cfaeb1fc
--- 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