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.
corrected offset
authorimmler@in.tum.de
Fri, 22 May 2009 13:43:35 +0200
changeset 34567 d9e4b940cf7e
parent 34566 28fa2f219f01
child 34568 b517d0607297
corrected offset
src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala	Fri May 22 13:43:35 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala	Fri May 22 13:43:35 2009 +0200
@@ -61,7 +61,7 @@
 
   private def paintCommand(command : Command, buffer : JEditBuffer, doc: ProofDocument, gfx : Graphics) {
     val line1 = buffer.getLineOfOffset(to_current(doc.id, command.start(doc)))
-    val line2 = buffer.getLineOfOffset(to_current(doc.id, command.stop(doc) - 1)) + 1
+    val line2 = buffer.getLineOfOffset(to_current(doc.id, command.stop(doc))) + 1
     val y = lineToY(line1)
     val height = lineToY(line2) - y - 1
     val (light, dark) = command.status match {
isabelle