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