clarified (see 019856db2bb6, ea52509f4c42);
authorwenzelm
Wed Aug 31 10:49:30 2016 +0200 (2016-08-31 ago)
changeset 63737fb0ae6b60491
parent 63736 133e3e84e6fb
child 63738 33fb64d7842a
clarified (see 019856db2bb6, ea52509f4c42);
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/src/Tools/jEdit/src/jEdit.props	Tue Aug 30 21:56:14 2016 +0200
     1.2 +++ b/src/Tools/jEdit/src/jEdit.props	Wed Aug 31 10:49:30 2016 +0200
     1.3 @@ -184,7 +184,7 @@
     1.4  gatchan.highlight.overview=false
     1.5  home.shortcut=
     1.6  insert-newline-indent.shortcut=
     1.7 -insert-newline.shortcut=ENTER
     1.8 +insert-newline.shortcut=
     1.9  isabelle-debugger.dock-position=floating
    1.10  isabelle-documentation.dock-position=right
    1.11  isabelle-output.dock-position=bottom