Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
options
Sprache: Unknown
|
(* :mode=isabelle-options: *)
option vscode_input_delay : real = 0.1
-- "delay for client input (edits)"
option vscode_output_delay : real = 0.5
-- "delay for client output (rendering)"
option vscode_load_delay : real = 0.5
-- "delay for file load operations"
option vscode_tooltip_margin : int = 60
-- "margin for pretty-printing of tooltips"
option vscode_message_margin : int = 80
-- "margin for pretty-printing of diagnostic messages"
option vscode_timing_threshold : real = 0.1
-- "default threshold for timing display (seconds)"
option vscode_pide_extensions : bool = false
-- "use PIDE extensions for Language Server Protocol"
option vscode_unicode_symbols : bool = false
-- "output Isabelle symbols via Unicode (according to etc/symbols)"
option vscode_caret_perspective : int = 50
-- "number of visible lines above and below the caret (0: unrestricted)"
option vscode_caret_preview : bool = false
-- "dynamic preview of caret document node"
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
|
