1(* :mode=isabelle-options: *) 2 3option vscode_input_delay : real = 0.1 4 -- "delay for client input (edits)" 5 6option vscode_output_delay : real = 0.5 7 -- "delay for client output (rendering)" 8 9option vscode_load_delay : real = 0.5 10 -- "delay for file load operations" 11 12option vscode_tooltip_margin : int = 60 13 -- "margin for pretty-printing of tooltips" 14 15option vscode_message_margin : int = 80 16 -- "margin for pretty-printing of diagnostic messages" 17 18option vscode_timing_threshold : real = 0.1 19 -- "default threshold for timing display (seconds)" 20 21option vscode_pide_extensions : bool = false 22 -- "use PIDE extensions for Language Server Protocol" 23 24option vscode_unicode_symbols : bool = false 25 -- "output Isabelle symbols via Unicode (according to etc/symbols)" 26 27option vscode_caret_perspective : int = 50 28 -- "number of visible lines above and below the caret (0: unrestricted)" 29 30option vscode_caret_preview : bool = false 31 -- "dynamic preview of caret document node" 32