Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/jedit_spell_checker.scala
changeset 73367 77ef8bef0593
parent 73337 0af9e7e4476f
child 75393 87ebf5a50283 
--- a/src/Tools/jEdit/src/jedit_spell_checker.scala	Thu Mar 04 19:55:52 2021 +0100
+++ b/src/Tools/jEdit/src/jedit_spell_checker.scala	Thu Mar 04 21:04:27 2021 +0100
@@ -87,7 +87,7 @@
     val option_name = "spell_checker_dictionary"
     val opt = PIDE.options.value.check_name(option_name)
 
-    val entries = Spell_Checker.dictionaries()
+    val entries = Spell_Checker.dictionaries
     val component = new ComboBox(entries) with Option_Component {
       name = option_name
       val title = opt.title()
isabelle