--- a/src/Tools/jEdit/src/isabelle_options.scala Sun Apr 13 16:06:55 2014 +0200
+++ b/src/Tools/jEdit/src/isabelle_options.scala Sun Apr 13 16:42:44 2014 +0200
@@ -40,8 +40,12 @@
class Isabelle_Options1 extends Isabelle_Options("isabelle-general")
{
val options = PIDE.options
+
+ private val predefined =
+ List(Isabelle_Logic.logic_selector(false), Spell_Checker.dictionaries_selector())
+
protected val components =
- options.make_components(List(Isabelle_Logic.logic_selector(false)),
+ options.make_components(predefined,
(for ((name, opt) <- options.value.options.iterator if opt.public) yield name).toSet)
}