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/isabelle_options.scala
changeset 66460 f7b0d6fb417a
parent 65256 c3d6dd17d626
child 71601 97ccf48c2f0c 
--- a/src/Tools/jEdit/src/isabelle_options.scala	Sun Aug 20 18:45:42 2017 +0200
+++ b/src/Tools/jEdit/src/isabelle_options.scala	Sun Aug 20 20:05:36 2017 +0200
@@ -42,7 +42,7 @@
   val options = PIDE.options
 
   private val predefined =
-    List(JEdit_Sessions.logic_selector(options.value, false),
+    List(JEdit_Sessions.logic_selector(options, false),
       JEdit_Spell_Checker.dictionaries_selector())
 
   protected val components =
isabelle