src/Tools/jEdit/src/completion_popup.scala
changeset 67004 af72fa58f71b
parent 66186 9de577f2dc3b
child 67005 11fca474d87a
     1.1 --- a/src/Tools/jEdit/src/completion_popup.scala	Sat Nov 04 15:24:40 2017 +0100
     1.2 +++ b/src/Tools/jEdit/src/completion_popup.scala	Sat Nov 04 17:11:21 2017 +0100
     1.3 @@ -421,7 +421,7 @@
     1.4      name: String = null,
     1.5      instant_popups: Boolean = false,
     1.6      enter_adds_to_history: Boolean = true,
     1.7 -    syntax: Outer_Syntax = Outer_Syntax.init) extends
     1.8 +    syntax: Outer_Syntax = Outer_Syntax.empty) extends
     1.9      HistoryTextField(name, instant_popups, enter_adds_to_history)
    1.10    {
    1.11      text_field =>