Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature;
authorwenzelm
Fri, 21 Dec 2018 13:33:56 +0100
changeset 69492 b4b4d3ec55b3
parent 69491 1ec777ac0982
child 69493 6fa742b03107
tuned signature;
src/Pure/PIDE/session.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/session.scala	Fri Dec 21 13:02:45 2018 +0100
+++ b/src/Pure/PIDE/session.scala	Fri Dec 21 13:33:56 2018 +0100
@@ -115,7 +115,7 @@
 }
 
 
-class Session(session_options: => Options, val resources: Resources) extends Document.Session
+class Session(_session_options: => Options, val resources: Resources) extends Document.Session
 {
   session =>
 
@@ -131,6 +131,8 @@
 
   /* dynamic session options */
 
+  def session_options: Options = _session_options
+
   def output_delay: Time = session_options.seconds("editor_output_delay")
   def consolidate_delay: Time = session_options.seconds("editor_consolidate_delay")
   def prune_delay: Time = session_options.seconds("editor_prune_delay")
isabelle