--- a/src/Pure/Admin/component_jedit.scala Wed Apr 02 21:52:54 2025 +0200
+++ b/src/Pure/Admin/component_jedit.scala Wed Apr 02 22:09:45 2025 +0200
@@ -255,10 +255,6 @@
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
@@ -344,6 +340,10 @@
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