--- a/src/Tools/jEdit/src/jedit_spell_checker.scala Mon Mar 01 18:31:11 2021 +0100
+++ b/src/Tools/jEdit/src/jedit_spell_checker.scala Mon Mar 01 19:41:52 2021 +0100
@@ -91,7 +91,7 @@
val component = new ComboBox(entries) with Option_Component {
name = option_name
val title = opt.title()
- def load: Unit =
+ def load(): Unit =
{
val lang = PIDE.options.string(option_name)
entries.find(_.lang == lang) match {
@@ -99,7 +99,7 @@
case None =>
}
}
- def save: Unit = PIDE.options.string(option_name) = selection.item.lang
+ def save(): Unit = PIDE.options.string(option_name) = selection.item.lang
}
component.load()