author | wenzelm |
Tue, 07 Mar 2017 10:52:04 +0100 | |
changeset 65137 | 812c35fbffa8 |
parent 65123 | 4d088fe6185e |
child 65926 | 0f7821a07aa9 |
permissions | -rw-r--r-- |
64622
529bbb8977c7
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
diff
changeset
|
1 |
(* :mode=isabelle-options: *) |
529bbb8977c7
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
diff
changeset
|
2 |
|
65123
4d088fe6185e
more ambitious timing, to compensate general protocol delays;
wenzelm
parents:
65107
diff
changeset
|
3 |
option vscode_input_delay : real = 0.1 |
64684 | 4 |
-- "delay for client input (edits)" |
5 |
||
6 |
option vscode_output_delay : real = 0.5 |
|
7 |
-- "delay for client output (rendering)" |
|
8 |
||
64727
13e37567a0d6
automatically resolve dependencies from document models and file-system;
wenzelm
parents:
64684
diff
changeset
|
9 |
option vscode_load_delay : real = 0.5 |
13e37567a0d6
automatically resolve dependencies from document models and file-system;
wenzelm
parents:
64684
diff
changeset
|
10 |
-- "delay for file load operations" |
13e37567a0d6
automatically resolve dependencies from document models and file-system;
wenzelm
parents:
64684
diff
changeset
|
11 |
|
64622
529bbb8977c7
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
diff
changeset
|
12 |
option vscode_tooltip_margin : int = 60 |
64679
b2bf280b7e13
more uniform treatment of input/output wrt. client;
wenzelm
parents:
64622
diff
changeset
|
13 |
-- "margin for pretty-printing of tooltips" |
b2bf280b7e13
more uniform treatment of input/output wrt. client;
wenzelm
parents:
64622
diff
changeset
|
14 |
|
65107 | 15 |
option vscode_message_margin : int = 80 |
64679
b2bf280b7e13
more uniform treatment of input/output wrt. client;
wenzelm
parents:
64622
diff
changeset
|
16 |
-- "margin for pretty-printing of diagnostic messages" |
64622
529bbb8977c7
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
diff
changeset
|
17 |
|
529bbb8977c7
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
diff
changeset
|
18 |
option vscode_timing_threshold : real = 0.1 |
529bbb8977c7
more uniform rendering for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
diff
changeset
|
19 |
-- "default threshold for timing display (seconds)" |
64870 | 20 |
|
65137 | 21 |
option vscode_pide_extensions : bool = false |
22 |
-- "use PIDE extensions for Language Server Protocol" |
|
23 |
||
64870 | 24 |
option vscode_unicode_symbols : bool = false |
25 |
-- "output Isabelle symbols via Unicode (according to etc/symbols)" |