src/Tools/VSCode/extension/package.json
changeset 65172 365e97f009ed
parent 65169 a8dfa258bf93
child 65175 93fb59c68052
     1.1 --- a/src/Tools/VSCode/extension/package.json	Fri Mar 10 11:03:46 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Fri Mar 10 14:16:45 2017 +0100
     1.3 @@ -52,11 +52,6 @@
     1.4          "configuration": {
     1.5              "title": "Isabelle",
     1.6              "properties": {
     1.7 -                "isabelle.cygwin_root": {
     1.8 -                    "type": "string",
     1.9 -                    "default": "",
    1.10 -                    "description": "Root of Cygwin installation on Windows (e.g. ISABELLE_HOME/cygwin)."
    1.11 -                },
    1.12                  "isabelle.home": {
    1.13                      "type": "string",
    1.14                      "default": "",
    1.15 @@ -68,6 +63,11 @@
    1.16                      "default": [],
    1.17                      "description": "Command-line arguments for isabelle vscode_server process."
    1.18                  },
    1.19 +                "isabelle.cygwin_root": {
    1.20 +                    "type": "string",
    1.21 +                    "default": "",
    1.22 +                    "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
    1.23 +                },
    1.24                  "isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
    1.25                  "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
    1.26                  "isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.39)" },