src/Tools/VSCode/src/vscode_rendering.scala
changeset 64622 529bbb8977c7
child 64648 5d7f741aaccb
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/VSCode/src/vscode_rendering.scala	Tue Dec 20 22:24:16 2016 +0100
     1.3 @@ -0,0 +1,21 @@
     1.4 +/*  Title:      Tools/VSCode/src/vscode_rendering.scala
     1.5 +    Author:     Makarius
     1.6 +
     1.7 +Isabelle/VSCode-specific implementation of quasi-abstract rendering and
     1.8 +markup interpretation.
     1.9 +*/
    1.10 +
    1.11 +package isabelle.vscode
    1.12 +
    1.13 +
    1.14 +import isabelle._
    1.15 +
    1.16 +
    1.17 +class VSCode_Rendering(snapshot: Document.Snapshot, options: Options, resources: Resources)
    1.18 +  extends Rendering(snapshot, options, resources)
    1.19 +{
    1.20 +  /* tooltips */
    1.21 +
    1.22 +  def tooltip_margin: Int = options.int("vscode_tooltip_margin")
    1.23 +  def timing_threshold: Double = options.real("vscode_timing_threshold")
    1.24 +}