tuned signature;
authorwenzelm
Sat Dec 31 11:43:06 2016 +0100 (2016-12-31)
changeset 647183197b68f4314
parent 64717 d2b50eb3d9ab
child 64719 55c871fc39e3
tuned signature;
src/Pure/PIDE/resources.scala
src/Tools/VSCode/src/vscode_resources.scala
     1.1 --- a/src/Pure/PIDE/resources.scala	Sat Dec 31 11:39:57 2016 +0100
     1.2 +++ b/src/Pure/PIDE/resources.scala	Sat Dec 31 11:43:06 2016 +0100
     1.3 @@ -23,7 +23,8 @@
     1.4  class Resources(
     1.5    val loaded_theories: Set[String],
     1.6    val known_theories: Map[String, Document.Node.Name],
     1.7 -  val base_syntax: Outer_Syntax)
     1.8 +  val base_syntax: Outer_Syntax,
     1.9 +  val log: Logger = No_Logger)
    1.10  {
    1.11    /* document node names */
    1.12  
     2.1 --- a/src/Tools/VSCode/src/vscode_resources.scala	Sat Dec 31 11:39:57 2016 +0100
     2.2 +++ b/src/Tools/VSCode/src/vscode_resources.scala	Sat Dec 31 11:43:06 2016 +0100
     2.3 @@ -38,8 +38,9 @@
     2.4      val text_length: Text.Length,
     2.5      loaded_theories: Set[String],
     2.6      known_theories: Map[String, Document.Node.Name],
     2.7 -    base_syntax: Outer_Syntax)
     2.8 -  extends Resources(loaded_theories, known_theories, base_syntax)
     2.9 +    base_syntax: Outer_Syntax,
    2.10 +    log: Logger = No_Logger)
    2.11 +  extends Resources(loaded_theories, known_theories, base_syntax, log)
    2.12  {
    2.13    private val state = Synchronized(VSCode_Resources.State())
    2.14