--- a/src/Pure/Admin/component_jedit.scala Tue Apr 01 20:59:01 2025 +0200
+++ b/src/Pure/Admin/component_jedit.scala Tue Apr 01 21:37:02 2025 +0200
@@ -255,6 +255,10 @@
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