src/Tools/VSCode/src/vscode_rendering.scala
author wenzelm
Tue Dec 20 22:24:16 2016 +0100 (2016-12-20)
changeset 64622 529bbb8977c7
child 64648 5d7f741aaccb
permissions -rw-r--r--
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
wenzelm@64622
     1
/*  Title:      Tools/VSCode/src/vscode_rendering.scala
wenzelm@64622
     2
    Author:     Makarius
wenzelm@64622
     3
wenzelm@64622
     4
Isabelle/VSCode-specific implementation of quasi-abstract rendering and
wenzelm@64622
     5
markup interpretation.
wenzelm@64622
     6
*/
wenzelm@64622
     7
wenzelm@64622
     8
package isabelle.vscode
wenzelm@64622
     9
wenzelm@64622
    10
wenzelm@64622
    11
import isabelle._
wenzelm@64622
    12
wenzelm@64622
    13
wenzelm@64622
    14
class VSCode_Rendering(snapshot: Document.Snapshot, options: Options, resources: Resources)
wenzelm@64622
    15
  extends Rendering(snapshot, options, resources)
wenzelm@64622
    16
{
wenzelm@64622
    17
  /* tooltips */
wenzelm@64622
    18
wenzelm@64622
    19
  def tooltip_margin: Int = options.int("vscode_tooltip_margin")
wenzelm@64622
    20
  def timing_threshold: Double = options.real("vscode_timing_threshold")
wenzelm@64622
    21
}