Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jedit/TheoryView.scala
changeset 34568 b517d0607297
parent 34566 28fa2f219f01
child 34574 d68352286c91 
--- a/src/Tools/jEdit/src/jedit/TheoryView.scala	Fri May 22 13:43:35 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/TheoryView.scala	Fri May 22 14:47:57 2009 +0200
@@ -135,6 +135,10 @@
     _to_current(from_id, if (col == null) changes else col :: changes, pos)
   def from_current(to_id: String, pos : Int) =
     _from_current(to_id, if (col == null) changes else col :: changes, pos)
+  def to_current(document: isabelle.proofdocument.ProofDocument, pos: Int): Int =
+    to_current(document.id, pos)
+  def from_current(document: isabelle.proofdocument.ProofDocument, pos: Int): Int =
+    from_current(document.id, pos)
 
   def repaint(cmd: Command) =
   {
isabelle