diff -r 6e4f2d4215b0 -r 1f9d706968c2 src/Tools/jEdit/src/spell_checker.scala
--- a/src/Tools/jEdit/src/spell_checker.scala	Mon Apr 14 09:24:47 2014 +0200
+++ b/src/Tools/jEdit/src/spell_checker.scala	Mon Apr 14 09:28:42 2014 +0200
@@ -83,7 +83,7 @@
   {
     Swing_Thread.require()
 
-    val option_name = "spell_checker_language"
+    val option_name = "spell_checker_dictionary"
     val opt = PIDE.options.value.check_name(option_name)
 
     val entries = dictionaries()
@@ -175,7 +175,7 @@
 
   def update(options: Options): Unit = synchronized {
     if (options.bool("spell_checker")) {
-      val lang = options.string("spell_checker_language")
+      val lang = options.string("spell_checker_dictionary")
       if (current_spell_checker._1 != lang) {
         Spell_Checker.dictionaries.find(_.lang == lang) match {
           case Some(dictionary) =>