# HG changeset patch
# User wenzelm
# Date 1534606189 -7200
# Node ID 59fcff4f8b73b2f2d08ea00d07a15ccc55bbe6c1
# Parent  660944bf744a79c49638c099bd1db3fe21bfebe9
tuned signature;

diff -r 660944bf744a -r 59fcff4f8b73 src/Pure/PIDE/document_status.scala
--- a/src/Pure/PIDE/document_status.scala	Sat Aug 18 15:02:08 2018 +0200
+++ b/src/Pure/PIDE/document_status.scala	Sat Aug 18 17:29:49 2018 +0200
@@ -185,8 +185,8 @@
       session_base: Sessions.Base,
       state: Document.State,
       version: Document.Version,
-      domain: Option[Set[Document.Node.Name]],
-      trim: Boolean): Option[(Nodes_Status, List[Document.Node.Name])] =
+      domain: Option[Set[Document.Node.Name]] = None,
+      trim: Boolean = false): Option[(Nodes_Status, List[Document.Node.Name])] =
     {
       val nodes = version.nodes
       val update_iterator =
diff -r 660944bf744a -r 59fcff4f8b73 src/Tools/jEdit/src/theories_dockable.scala
--- a/src/Tools/jEdit/src/theories_dockable.scala	Sat Aug 18 15:02:08 2018 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Sat Aug 18 17:29:49 2018 +0200
@@ -219,7 +219,8 @@
 
     for {
       (nodes_status1, nodes_list1) <-
-        nodes_status.update(session_base, snapshot.state, snapshot.version, domain, trim)
+        nodes_status.update(
+          session_base, snapshot.state, snapshot.version, domain = domain, trim = trim)
     } { nodes_status = nodes_status1; status.listData = nodes_list1 }
   }