50 } |
50 } |
51 ], |
51 ], |
52 "configuration": { |
52 "configuration": { |
53 "title": "Isabelle", |
53 "title": "Isabelle", |
54 "properties": { |
54 "properties": { |
55 "isabelle.cygwin_root": { |
|
56 "type": "string", |
|
57 "default": "", |
|
58 "description": "Root of Cygwin installation on Windows (e.g. ISABELLE_HOME/cygwin)." |
|
59 }, |
|
60 "isabelle.home": { |
55 "isabelle.home": { |
61 "type": "string", |
56 "type": "string", |
62 "default": "", |
57 "default": "", |
63 "description": "Main Isabelle directory (ISABELLE_HOME)." |
58 "description": "Main Isabelle directory (ISABELLE_HOME)." |
64 }, |
59 }, |
65 "isabelle.args": { |
60 "isabelle.args": { |
66 "type": "array", |
61 "type": "array", |
67 "items": { "type": "string" }, |
62 "items": { "type": "string" }, |
68 "default": [], |
63 "default": [], |
69 "description": "Command-line arguments for isabelle vscode_server process." |
64 "description": "Command-line arguments for isabelle vscode_server process." |
|
65 }, |
|
66 "isabelle.cygwin_root": { |
|
67 "type": "string", |
|
68 "default": "", |
|
69 "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)." |
70 }, |
70 }, |
71 "isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" }, |
71 "isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" }, |
72 "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" }, |
72 "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" }, |
73 "isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.39)" }, |
73 "isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.39)" }, |
74 "isabelle.running1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.39)" }, |
74 "isabelle.running1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.39)" }, |