changeset 59074 | 7836d927ffca |
parent 58767 | 30766b5fd0e1 |
child 59319 | 677615cba30d |
--- a/src/Tools/jEdit/src/completion_popup.scala Mon Dec 01 15:21:49 2014 +0100 +++ b/src/Tools/jEdit/src/completion_popup.scala Mon Dec 01 17:43:23 2014 +0100 @@ -157,7 +157,7 @@ val buffer = text_area.getBuffer val decode = Isabelle_Encoding.is_active(buffer) - Isabelle.mode_syntax(JEdit_Lib.buffer_mode(buffer)) match { + Isabelle.buffer_syntax(buffer) match { case Some(syntax) => val context = (for {