| author | wenzelm |
| Thu, 25 May 2017 21:20:22 +0200 | |
| changeset 65926 | 0f7821a07aa9 |
| parent 65137 | 812c35fbffa8 |
| child 65977 | c51b74be23b6 |
| 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)" |
|
|
65926
0f7821a07aa9
restricted perspective depending on the caret -- important for reactivity when editing big files;
wenzelm
parents:
65137
diff
changeset
|
26 |
|
|
0f7821a07aa9
restricted perspective depending on the caret -- important for reactivity when editing big files;
wenzelm
parents:
65137
diff
changeset
|
27 |
option vscode_caret_perspective : int = 50 |
|
0f7821a07aa9
restricted perspective depending on the caret -- important for reactivity when editing big files;
wenzelm
parents:
65137
diff
changeset
|
28 |
-- "number of visible lines above and below the caret (0: unrestricted)" |