src/Pure/Admin/component_jedit.scala

 insert-newline-indent.shortcut=
 insert-newline.shortcut=
 isabelle-debugger.dock-position=floating
 isabelle-documentation.dock-position=left
 isabelle-export-browser.label=Browse theory exports
-isabelle.navigate-backwards.label=Navigate backwards
-isabelle.navigate-backwards.shortcut=AS+LEFT
-isabelle.navigate-forwards.label=Navigate forwards
-isabelle.navigate-forwards.shortcut=AS+RIGHT
 isabelle-output.dock-position=bottom
 isabelle-output.height=174
 isabelle-output.width=412
 isabelle-query.dock-position=bottom
 isabelle-session-browser.label=Browse session information

 match-bracket.shortcut2=C+9
 metal.primary.font=Isabelle DejaVu Sans
 metal.primary.fontsize=12
 metal.secondary.font=Isabelle DejaVu Sans
 metal.secondary.fontsize=12
+navigate-backwards.label=Navigate backwards
+navigate-backwards.shortcut=AS+LEFT
+navigate-forwards.label=Navigate forwards
+navigate-forwards.shortcut=AS+RIGHT
 navigator.showOnToolbar=true
 new-file-in-mode.shortcut=
 next-bracket.shortcut2=C+e C+9
 options.shortcuts.deletekeymap.label=Delete
 options.shortcuts.duplicatekeymap.dialog.title=Keymap name