tuned imports -- accommodate scala-2.13.0-RC3;
authorwenzelm
Sat Jun 01 21:43:41 2019 +0200 (6 weeks ago)
changeset 703029ea7081c3f03
parent 70301 9f2a6856b912
child 70303 502749883f53
tuned imports -- accommodate scala-2.13.0-RC3;
src/Tools/VSCode/src/channel.scala
src/Tools/VSCode/src/document_model.scala
src/Tools/VSCode/src/dynamic_output.scala
src/Tools/VSCode/src/preview_panel.scala
src/Tools/VSCode/src/protocol.scala
src/Tools/VSCode/src/server.scala
src/Tools/VSCode/src/state_panel.scala
src/Tools/VSCode/src/vscode_rendering.scala
src/Tools/VSCode/src/vscode_resources.scala
src/Tools/VSCode/src/vscode_spell_checker.scala
     1.1 --- a/src/Tools/VSCode/src/channel.scala	Sat Jun 01 21:43:03 2019 +0200
     1.2 +++ b/src/Tools/VSCode/src/channel.scala	Sat Jun 01 21:43:41 2019 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4  
     1.5  
     1.6  import isabelle._
     1.7 +import isabelle.vscode.Protocol
     1.8  
     1.9  import java.io.{InputStream, OutputStream, FileOutputStream, ByteArrayOutputStream, File => JFile}
    1.10  
     2.1 --- a/src/Tools/VSCode/src/document_model.scala	Sat Jun 01 21:43:03 2019 +0200
     2.2 +++ b/src/Tools/VSCode/src/document_model.scala	Sat Jun 01 21:43:41 2019 +0200
     2.3 @@ -8,6 +8,7 @@
     2.4  
     2.5  
     2.6  import isabelle._
     2.7 +import isabelle.vscode.{Protocol, Server}
     2.8  
     2.9  import java.io.{File => JFile}
    2.10  
     3.1 --- a/src/Tools/VSCode/src/dynamic_output.scala	Sat Jun 01 21:43:03 2019 +0200
     3.2 +++ b/src/Tools/VSCode/src/dynamic_output.scala	Sat Jun 01 21:43:41 2019 +0200
     3.3 @@ -8,6 +8,7 @@
     3.4  
     3.5  
     3.6  import isabelle._
     3.7 +import isabelle.vscode.{Protocol, Server}
     3.8  
     3.9  
    3.10  object Dynamic_Output
     4.1 --- a/src/Tools/VSCode/src/preview_panel.scala	Sat Jun 01 21:43:03 2019 +0200
     4.2 +++ b/src/Tools/VSCode/src/preview_panel.scala	Sat Jun 01 21:43:41 2019 +0200
     4.3 @@ -8,6 +8,7 @@
     4.4  
     4.5  
     4.6  import isabelle._
     4.7 +import isabelle.vscode.Protocol
     4.8  
     4.9  import java.io.{File => JFile}
    4.10  
     5.1 --- a/src/Tools/VSCode/src/protocol.scala	Sat Jun 01 21:43:03 2019 +0200
     5.2 +++ b/src/Tools/VSCode/src/protocol.scala	Sat Jun 01 21:43:41 2019 +0200
     5.3 @@ -9,6 +9,7 @@
     5.4  
     5.5  
     5.6  import isabelle._
     5.7 +import isabelle.vscode.Server
     5.8  
     5.9  import java.io.{File => JFile}
    5.10  
     6.1 --- a/src/Tools/VSCode/src/server.scala	Sat Jun 01 21:43:03 2019 +0200
     6.2 +++ b/src/Tools/VSCode/src/server.scala	Sat Jun 01 21:43:41 2019 +0200
     6.3 @@ -12,6 +12,7 @@
     6.4  
     6.5  
     6.6  import isabelle._
     6.7 +import isabelle.vscode.{Protocol, Server}
     6.8  
     6.9  import java.io.{PrintStream, OutputStream, File => JFile}
    6.10  
     7.1 --- a/src/Tools/VSCode/src/state_panel.scala	Sat Jun 01 21:43:03 2019 +0200
     7.2 +++ b/src/Tools/VSCode/src/state_panel.scala	Sat Jun 01 21:43:41 2019 +0200
     7.3 @@ -8,6 +8,7 @@
     7.4  
     7.5  
     7.6  import isabelle._
     7.7 +import isabelle.vscode.{Protocol, Server}
     7.8  
     7.9  
    7.10  object State_Panel
     8.1 --- a/src/Tools/VSCode/src/vscode_rendering.scala	Sat Jun 01 21:43:03 2019 +0200
     8.2 +++ b/src/Tools/VSCode/src/vscode_rendering.scala	Sat Jun 01 21:43:41 2019 +0200
     8.3 @@ -9,6 +9,7 @@
     8.4  
     8.5  
     8.6  import isabelle._
     8.7 +import isabelle.vscode.Protocol
     8.8  
     8.9  import java.io.{File => JFile}
    8.10  
     9.1 --- a/src/Tools/VSCode/src/vscode_resources.scala	Sat Jun 01 21:43:03 2019 +0200
     9.2 +++ b/src/Tools/VSCode/src/vscode_resources.scala	Sat Jun 01 21:43:41 2019 +0200
     9.3 @@ -8,6 +8,7 @@
     9.4  
     9.5  
     9.6  import isabelle._
     9.7 +import isabelle.vscode.{Protocol, Server}
     9.8  
     9.9  import java.io.{File => JFile}
    9.10  
    10.1 --- a/src/Tools/VSCode/src/vscode_spell_checker.scala	Sat Jun 01 21:43:03 2019 +0200
    10.2 +++ b/src/Tools/VSCode/src/vscode_spell_checker.scala	Sat Jun 01 21:43:41 2019 +0200
    10.3 @@ -8,6 +8,7 @@
    10.4  
    10.5  
    10.6  import isabelle._
    10.7 +import isabelle.vscode.Protocol
    10.8  
    10.9  
   10.10  object VSCode_Spell_Checker