src/Tools/jEdit/src/spell_checker.scala
changeset 57612 990ffb84489b
parent 56662 f373fb77e0a4
child 58549 d4d97b79f1fb
     1.1 --- a/src/Tools/jEdit/src/spell_checker.scala	Wed Jul 23 11:08:24 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/spell_checker.scala	Wed Jul 23 11:19:24 2014 +0200
     1.3 @@ -105,7 +105,7 @@
     1.4  
     1.5    def dictionaries_selector(): Option_Component =
     1.6    {
     1.7 -    Swing_Thread.require {}
     1.8 +    GUI_Thread.require {}
     1.9  
    1.10      val option_name = "spell_checker_dictionary"
    1.11      val opt = PIDE.options.value.check_name(option_name)