(* :mode=isabelle-options: *)
option vscode_input_delay : real = 0.1 for vscode
-- "delay for client input (edits)"
option vscode_sledgehammer_history : string = "" for vscode
-- "history of Sledgehammer provers used in Isabelle/VSCode"
option vscode_output_delay : real = 0.5 for vscode
-- "delay for client output (rendering)"
option vscode_load_delay : real = 0.5 for vscode
-- "delay for file load operations"
option vscode_tooltip_margin : int = 60 for vscode
-- "margin for pretty-printing of tooltips"
option vscode_message_margin : int = 80 for vscode
-- "margin for pretty-printing of diagnostic messages"
option vscode_pide_extensions : bool = false for vscode
-- "use PIDE extensions for Language Server Protocol"
option vscode_unicode_symbols_output : bool = false for vscode
-- "output Isabelle symbols via Unicode in Output (according to etc/symbols)"
option vscode_unicode_symbols_edits : bool = false for vscode
-- "output Isabelle symbols via Unicode in Edits (according to etc/symbols)"
option vscode_caret_perspective : int = 50 for vscode
-- "number of visible lines above and below the caret (0: unrestricted)"
option vscode_caret_preview : bool = false for vscode
-- "dynamic preview of caret document node"
option vscode_html_output : bool = false for vscode
-- "output State and Output in HTML"
¤ Dauer der Verarbeitung: 0.9 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
