src/Tools/jEdit/src/isabelle.scala
changeset 55666 cc350eb1087e
parent 55616 25a7a998852a
child 55749 75a48dc4383e
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Fri Feb 21 23:42:43 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Sat Feb 22 15:07:33 2014 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4  
     1.5    private lazy val ml_syntax: Outer_Syntax =
     1.6      Outer_Syntax.init().no_tokens.
     1.7 -      set_completion_context(Completion.Context(Markup.Language.ML, false))
     1.8 +      set_completion_context(Completion.Context.ML_outer)
     1.9  
    1.10    private lazy val news_syntax: Outer_Syntax =
    1.11      Outer_Syntax.init().no_tokens