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/syntax_style.scala
changeset 67014 e6a695d6a6b2
parent 66006 cec184536dfd
child 67125 361b3ef643a7 
--- a/src/Tools/jEdit/src/syntax_style.scala	Sun Nov 05 17:45:17 2017 +0100
+++ b/src/Tools/jEdit/src/syntax_style.scala	Mon Nov 06 16:03:13 2017 +0100
@@ -147,7 +147,7 @@
 
     text_area.getSelection.foreach(sel => {
       val before = JEdit_Lib.point_range(buffer, sel.getStart - 1)
-      JEdit_Lib.try_get_text(buffer, before) match {
+      JEdit_Lib.get_text(buffer, before) match {
         case Some(s) if HTML.is_control(s) =>
           text_area.extendSelection(before.start, before.stop)
         case _ =>
isabelle