diff -r e9ec8daa7888 -r eaf11864fb71 src/Pure/Admin/component_jedit.scala
--- 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