src/Tools/jEdit/src/isabelle.scala
changeset 55749 75a48dc4383e
parent 55666 cc350eb1087e
child 55823 0331b6d2ab0c
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Tue Feb 25 20:46:09 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Tue Feb 25 20:57:57 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.ML_outer)
     1.8 +      set_language_context(Completion.Language_Context.ML_outer)
     1.9  
    1.10    private lazy val news_syntax: Outer_Syntax =
    1.11      Outer_Syntax.init().no_tokens