src/Tools/VSCode/extension/package.json
changeset 69965 da5e7278286b
parent 69323 7698ad5d7036
child 70234 4e0834322981
     1.1 --- a/src/Tools/VSCode/extension/package.json	Sun Mar 24 17:23:48 2019 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Sun Mar 24 17:24:24 2019 +0100
     1.3 @@ -299,7 +299,11 @@
     1.4                  "isabelle.class_parameter_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
     1.5                  "isabelle.class_parameter_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
     1.6                  "isabelle.antiquote_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" },
     1.7 -                "isabelle.antiquote_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" }
     1.8 +                "isabelle.antiquote_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
     1.9 +                "isabelle.raw_text_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" },
    1.10 +                "isabelle.raw_text_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
    1.11 +                "isabelle.plain_text_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" },
    1.12 +                "isabelle.plain_text_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" }
    1.13              }
    1.14          }
    1.15      },