src/Tools/jEdit/src/token_markup.scala
changeset 57612 990ffb84489b
parent 57126 3a928dffc37f
child 58529 cd4439d8799c
     1.1 --- a/src/Tools/jEdit/src/token_markup.scala	Wed Jul 23 11:08:24 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/token_markup.scala	Wed Jul 23 11:19:24 2014 +0200
     1.3 @@ -42,7 +42,7 @@
     1.4  
     1.5    def edit_control_style(text_area: TextArea, control: String)
     1.6    {
     1.7 -    Swing_Thread.assert {}
     1.8 +    GUI_Thread.assert {}
     1.9  
    1.10      val buffer = text_area.getBuffer
    1.11