tuned source structure;

--- a/src/Tools/jEdit/src/isabelle_navigator.scala	Fri Apr 04 11:37:27 2025 +0200
+++ b/src/Tools/jEdit/src/isabelle_navigator.scala	Fri Apr 04 14:46:38 2025 +0200
@@ -180,15 +180,6 @@
     }
   }
 
-  def forward(view: View): Unit = GUI_Thread.require {
-    if (!_forward.is_empty) {
-      _backward = _backward.push(_current)
-      _current = _forward.top
-      _forward = _forward.pop
-      goto_current(view)
-    }
-  }
-
   def backward(view: View): Unit = GUI_Thread.require {
     if (!_backward.is_empty) {
       val pos0 = _current
@@ -206,4 +197,13 @@
       goto_current(view)
     }
   }
+
+  def forward(view: View): Unit = GUI_Thread.require {
+    if (!_forward.is_empty) {
+      _backward = _backward.push(_current)
+      _current = _forward.top
+      _forward = _forward.pop
+      goto_current(view)
+    }
+  }
 }