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/rich_text_area.scala
changeset 56172 31289387fdf8
parent 55790 4670f18baba5
child 56317 1147854080b4 
--- a/src/Tools/jEdit/src/rich_text_area.scala	Mon Mar 17 11:33:09 2014 +0100
+++ b/src/Tools/jEdit/src/rich_text_area.scala	Mon Mar 17 11:39:46 2014 +0100
@@ -305,7 +305,7 @@
 
     val caret_range =
       if (caret_enabled) JEdit_Lib.point_range(buffer, text_area.getCaretPosition)
-      else Text.Range(-1)
+      else Text.Range.offside
 
     var w = 0.0f
     var chunk = head
isabelle