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 comment;
authorwenzelm
Sun, 04 Mar 2012 19:24:05 +0100
changeset 46815 6bccb1dc9bc3
parent 46814 d68ea01d5084
child 46816 a96b25141220
tuned comment;
src/Tools/jEdit/src/document_view.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/document_view.scala	Sun Mar 04 19:16:09 2012 +0100
+++ b/src/Tools/jEdit/src/document_view.scala	Sun Mar 04 19:24:05 2012 +0100
@@ -92,7 +92,7 @@
 
   /* visible text range */
 
-  // FIXME remove!?
+  // NB: TextArea.getScreenLineEndOffset of last line is beyond Buffer.getLength
   def proper_line_range(start: Text.Offset, end: Text.Offset): Text.Range =
     Text.Range(start, end min model.buffer.getLength)
isabelle