Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/etc/options
author Thomas Lindae <thomas.lindae@in.tum.de>
Wed, 01 May 2024 12:34:53 +0200
changeset 81025 d4eb94b46e83
parent 81024 d1535ba3b1ca
child 81049 45ef41e823f7
permissions -rw-r--r--
lsp: added State and Dynamic Output html_output and margin handling;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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






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









65137






812c35fbffa8
clarified options;



wenzelm


parents: 
65123

diff
changeset




    21


option vscode_pide_extensions : bool = false













812c35fbffa8
clarified options;



wenzelm


parents: 
65123

diff
changeset




    22


  -- "use PIDE extensions for Language Server Protocol"













812c35fbffa8
clarified options;



wenzelm


parents: 
65123

diff
changeset




    23









64870






41e2797af496
clarified text output wrt. symbols;



wenzelm


parents: 
64727

diff
changeset




    24


option vscode_unicode_symbols : bool = false













41e2797af496
clarified text output wrt. symbols;



wenzelm


parents: 
64727

diff
changeset




    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)"








65977






c51b74be23b6
provide preview content on Scala side (similar to output);



wenzelm


parents: 
65926

diff
changeset




    29














c51b74be23b6
provide preview content on Scala side (similar to output);



wenzelm


parents: 
65926

diff
changeset




    30


option vscode_caret_preview : bool = false













c51b74be23b6
provide preview content on Scala side (similar to output);



wenzelm


parents: 
65926

diff
changeset




    31


  -- "dynamic preview of caret document node"








81024






d1535ba3b1ca
lsp: added vscode_html_output option;



Thomas Lindae <thomas.lindae@in.tum.de>


parents: 
65977

diff
changeset




    32














d1535ba3b1ca
lsp: added vscode_html_output option;



Thomas Lindae <thomas.lindae@in.tum.de>


parents: 
65977

diff
changeset




    33


option vscode_html_output : bool = false













d1535ba3b1ca
lsp: added vscode_html_output option;



Thomas Lindae <thomas.lindae@in.tum.de>


parents: 
65977

diff
changeset




    34


  -- "output State and Output in HTML"















isabelle