src/Tools/VSCode/extension/package.json
changeset 65176 908d8be90533
parent 65175 93fb59c68052
child 65177 976938956460
     1.1 --- a/src/Tools/VSCode/extension/package.json	Fri Mar 10 18:12:52 2017 +0100
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Fri Mar 10 21:47:48 2017 +0100
     1.3 @@ -76,12 +76,6 @@
     1.4                  "isabelle.bad_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.39)" },
     1.5                  "isabelle.intensify_light_color": { "type": "string", "default": "rgba(255, 204, 102, 0.39)" },
     1.6                  "isabelle.intensify_dark_color": { "type": "string", "default": "rgba(255, 204, 102, 0.39)" },
     1.7 -                "isabelle.entity_light_color": { "type": "string", "default": "rgba(204, 217, 255, 0.50)" },
     1.8 -                "isabelle.entity_dark_color": { "type": "string", "default": "rgba(204, 217, 255, 0.50)" },
     1.9 -                "isabelle.active_light_color": { "type": "string", "default": "rgba(220, 220, 220, 1.00)" },
    1.10 -                "isabelle.active_dark_color": { "type": "string", "default": "rgba(220, 220, 220, 1.00)" },
    1.11 -                "isabelle.active_result_light_color": { "type": "string", "default": "rgba(153, 153, 102, 1.00)" },
    1.12 -                "isabelle.active_result_dark_color": { "type": "string", "default": "rgba(153, 153, 102, 1.00)" },
    1.13                  "isabelle.markdown_item1_light_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" },
    1.14                  "isabelle.markdown_item1_dark_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" },
    1.15                  "isabelle.markdown_item2_light_color": { "type": "string", "default": "rgba(255, 240, 204, 1.00)" },