|
(* :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.13 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
