isabelle: src/Tools/VSCode/etc/options@70b0113fa4ef (annotated)

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
64684 fe2c9c215b36 clarified options; wenzelm parents: 64679 diff changeset	3	option vscode_input_delay : real = 0.3
fe2c9c215b36 clarified options; wenzelm parents: 64679 diff changeset	4	-- "delay for client input (edits)"
fe2c9c215b36 clarified options; wenzelm parents: 64679 diff changeset	5
fe2c9c215b36 clarified options; wenzelm parents: 64679 diff changeset	6	option vscode_output_delay : real = 0.5
fe2c9c215b36 clarified options; wenzelm parents: 64679 diff changeset	7	-- "delay for client output (rendering)"
fe2c9c215b36 clarified options; wenzelm parents: 64679 diff changeset	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 70b0113fa4ef clarified pretty margin; wenzelm parents: 64870 diff changeset	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 41e2797af496 clarified text output wrt. symbols; wenzelm parents: 64727 diff changeset	20
41e2797af496 clarified text output wrt. symbols; wenzelm parents: 64727 diff changeset	21	option vscode_unicode_symbols : bool = false
41e2797af496 clarified text output wrt. symbols; wenzelm parents: 64727 diff changeset	22	-- "output Isabelle symbols via Unicode (according to etc/symbols)"

author	wenzelm
	Sat, 04 Mar 2017 21:47:26 +0100
changeset 65107	70b0113fa4ef
parent 64870	41e2797af496
child 65123	4d088fe6185e
permissions	-rw-r--r--