Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature: proper private vars;
authorwenzelm
Fri, 04 Apr 2025 11:00:06 +0200
changeset 82425 20f79e12ad20
parent 82424 7fe17f5d1524
child 82426 144168941ca4
tuned signature: proper private vars;
src/Tools/jEdit/src/isabelle_navigator.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/isabelle_navigator.scala	Fri Apr 04 10:58:39 2025 +0200
+++ b/src/Tools/jEdit/src/isabelle_navigator.scala	Fri Apr 04 11:00:06 2025 +0200
@@ -123,9 +123,9 @@
 
   // owned by GUI thread
   private var _bypass = false
-  var _current: Pos = Pos.none
-  var _backward = History.empty
-  var _forward = History.empty
+  private var _current: Pos = Pos.none
+  private var _backward = History.empty
+  private var _forward = History.empty
 
   override def toString: String = {
     val size = (if (_current.defined) 1 else 0) + _backward.size + _forward.size
isabelle