src/Tools/VSCode/extension/package.json
author wenzelm
Fri Jun 16 16:00:44 2017 +0200 (2017-06-16)
changeset 66095 78a1aedd1761
parent 66080 066f4ba9c965
child 66096 6187612e83c1
permissions -rw-r--r--
automatic reformatting;
wenzelm@64605
     1
{
wenzelm@64605
     2
    "name": "isabelle",
wenzelm@64605
     3
    "displayName": "Isabelle",
wenzelm@64757
     4
    "description": "Isabelle Prover IDE",
wenzelm@64605
     5
    "keywords": [
wenzelm@64605
     6
        "theorem prover",
wenzelm@64605
     7
        "formalized mathematics",
wenzelm@64605
     8
        "mathematical logic",
wenzelm@64605
     9
        "functional programming",
wenzelm@64605
    10
        "document preparation"
wenzelm@66095
    11
    ],
wenzelm@64605
    12
    "icon": "isabelle.png",
wenzelm@66080
    13
    "version": "0.14.0",
wenzelm@64696
    14
    "publisher": "makarius",
wenzelm@65091
    15
    "license": "MIT",
wenzelm@66095
    16
    "repository": {
wenzelm@66095
    17
        "url": "http://isabelle.in.tum.de/repos/isabelle"
wenzelm@66095
    18
    },
wenzelm@66095
    19
    "engines": {
wenzelm@66095
    20
        "vscode": "^1.8.0"
wenzelm@66095
    21
    },
wenzelm@66095
    22
    "categories": [
wenzelm@66095
    23
        "Languages"
wenzelm@66095
    24
    ],
wenzelm@64605
    25
    "activationEvents": [
wenzelm@64750
    26
        "onLanguage:isabelle",
wenzelm@65983
    27
        "onLanguage:isabelle-ml",
wenzelm@65983
    28
        "onCommand:isabelle.preview",
wenzelm@65985
    29
        "onCommand:isabelle.preview-split",
wenzelm@65983
    30
        "onCommand:isabelle.preview-source"
wenzelm@64605
    31
    ],
wenzelm@64605
    32
    "main": "./out/src/extension",
wenzelm@64605
    33
    "contributes": {
wenzelm@65958
    34
        "commands": [
wenzelm@65958
    35
            {
wenzelm@65985
    36
                "command": "isabelle.preview",
wenzelm@65985
    37
                "title": "Open Preview",
wenzelm@65985
    38
                "category": "Isabelle",
wenzelm@65985
    39
                "icon": {
wenzelm@65985
    40
                    "light": "./media/Preview.svg",
wenzelm@65985
    41
                    "dark": "./media/Preview_inverse.svg"
wenzelm@65985
    42
                }
wenzelm@65985
    43
            },
wenzelm@65985
    44
            {
wenzelm@65986
    45
                "command": "isabelle.preview-update",
wenzelm@65986
    46
                "title": "Update Preview",
wenzelm@65986
    47
                "category": "Isabelle",
wenzelm@65986
    48
                "icon": {
wenzelm@65986
    49
                    "light": "./media/Preview.svg",
wenzelm@65986
    50
                    "dark": "./media/Preview_inverse.svg"
wenzelm@65986
    51
                }
wenzelm@65986
    52
            },
wenzelm@65986
    53
            {
wenzelm@65985
    54
                "command": "isabelle.preview-split",
wenzelm@65985
    55
                "title": "Open Preview (Split Editor)",
wenzelm@65985
    56
                "category": "Isabelle",
wenzelm@65985
    57
                "icon": {
wenzelm@65985
    58
                    "light": "./media/PreviewOnRightPane_16x.svg",
wenzelm@65985
    59
                    "dark": "./media/PreviewOnRightPane_16x_dark.svg"
wenzelm@65985
    60
                }
wenzelm@65985
    61
            },
wenzelm@65985
    62
            {
wenzelm@65985
    63
                "command": "isabelle.preview-source",
wenzelm@65985
    64
                "title": "Show Source",
wenzelm@65985
    65
                "category": "Isabelle",
wenzelm@65985
    66
                "icon": {
wenzelm@65985
    67
                    "light": "./media/ViewSource.svg",
wenzelm@65985
    68
                    "dark": "./media/ViewSource_inverse.svg"
wenzelm@65985
    69
                }
wenzelm@65958
    70
            }
wenzelm@65958
    71
        ],
wenzelm@65983
    72
        "menus": {
wenzelm@65985
    73
            "editor/title": [
wenzelm@65985
    74
                {
wenzelm@65985
    75
                    "when": "editorLangId == isabelle",
wenzelm@66042
    76
                    "command": "isabelle.preview",
wenzelm@66042
    77
                    "group": "navigation"
wenzelm@66042
    78
                },
wenzelm@66042
    79
                {
wenzelm@66042
    80
                    "when": "editorLangId == isabelle",
wenzelm@65985
    81
                    "command": "isabelle.preview-split",
wenzelm@65985
    82
                    "group": "navigation"
wenzelm@65985
    83
                },
wenzelm@65985
    84
                {
wenzelm@65985
    85
                    "when": "resourceScheme == isabelle-preview",
wenzelm@65986
    86
                    "command": "isabelle.preview-update",
wenzelm@65986
    87
                    "group": "navigation"
wenzelm@65986
    88
                },
wenzelm@65986
    89
                {
wenzelm@65986
    90
                    "when": "resourceScheme == isabelle-preview",
wenzelm@65985
    91
                    "command": "isabelle.preview-source",
wenzelm@65985
    92
                    "group": "navigation"
wenzelm@65985
    93
                }
wenzelm@65985
    94
            ],
wenzelm@65985
    95
            "explorer/context": [
wenzelm@65985
    96
                {
wenzelm@65985
    97
                    "when": "resourceLangId == isabelle",
wenzelm@65985
    98
                    "command": "isabelle.preview",
wenzelm@65985
    99
                    "group": "navigation"
wenzelm@65985
   100
                }
wenzelm@65985
   101
            ]
wenzelm@65985
   102
        },
wenzelm@64605
   103
        "languages": [
wenzelm@64605
   104
            {
wenzelm@64605
   105
                "id": "isabelle",
wenzelm@66095
   106
                "aliases": [
wenzelm@66095
   107
                    "Isabelle"
wenzelm@66095
   108
                ],
wenzelm@66095
   109
                "extensions": [
wenzelm@66095
   110
                    ".thy"
wenzelm@66095
   111
                ],
wenzelm@64736
   112
                "configuration": "./isabelle-language.json"
wenzelm@64749
   113
            },
wenzelm@64749
   114
            {
wenzelm@64749
   115
                "id": "isabelle-ml",
wenzelm@66095
   116
                "aliases": [
wenzelm@66095
   117
                    "Isabelle/ML"
wenzelm@66095
   118
                ],
wenzelm@66095
   119
                "extensions": [
wenzelm@66095
   120
                    ".ML",
wenzelm@66095
   121
                    ".sml",
wenzelm@66095
   122
                    ".sig"
wenzelm@66095
   123
                ],
wenzelm@64752
   124
                "configuration": "./isabelle-ml-language.json"
wenzelm@64605
   125
            }
wenzelm@64605
   126
        ],
wenzelm@64749
   127
        "grammars": [
wenzelm@64749
   128
            {
wenzelm@64738
   129
                "language": "isabelle",
wenzelm@64738
   130
                "scopeName": "source.isabelle",
wenzelm@64738
   131
                "path": "./isabelle-grammar.json"
wenzelm@64749
   132
            },
wenzelm@64749
   133
            {
wenzelm@64749
   134
                "language": "isabelle-ml",
wenzelm@64749
   135
                "scopeName": "source.isabelle-ml",
wenzelm@64749
   136
                "path": "./isabelle-ml-grammar.json"
wenzelm@64749
   137
            }
wenzelm@64749
   138
        ],
wenzelm@64605
   139
        "configuration": {
wenzelm@64605
   140
            "title": "Isabelle",
wenzelm@64605
   141
            "properties": {
wenzelm@64605
   142
                "isabelle.home": {
wenzelm@64605
   143
                    "type": "string",
wenzelm@64605
   144
                    "default": "",
wenzelm@64755
   145
                    "description": "Main Isabelle directory (ISABELLE_HOME)."
wenzelm@64734
   146
                },
wenzelm@64743
   147
                "isabelle.args": {
wenzelm@64734
   148
                    "type": "array",
wenzelm@66095
   149
                    "items": {
wenzelm@66095
   150
                        "type": "string"
wenzelm@66095
   151
                    },
wenzelm@64734
   152
                    "default": [],
wenzelm@64755
   153
                    "description": "Command-line arguments for isabelle vscode_server process."
wenzelm@65104
   154
                },
wenzelm@65172
   155
                "isabelle.cygwin_root": {
wenzelm@65172
   156
                    "type": "string",
wenzelm@65172
   157
                    "default": "",
wenzelm@65172
   158
                    "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
wenzelm@65172
   159
                },
wenzelm@66095
   160
                "isabelle.unprocessed_light_color": {
wenzelm@66095
   161
                    "type": "string",
wenzelm@66095
   162
                    "default": "rgba(255, 160, 160, 1.00)"
wenzelm@66095
   163
                },
wenzelm@66095
   164
                "isabelle.unprocessed_dark_color": {
wenzelm@66095
   165
                    "type": "string",
wenzelm@66095
   166
                    "default": "rgba(97, 0, 97, 1.00)"
wenzelm@66095
   167
                },
wenzelm@66095
   168
                "isabelle.unprocessed1_light_color": {
wenzelm@66095
   169
                    "type": "string",
wenzelm@66095
   170
                    "default": "rgba(255, 160, 160, 0.20)"
wenzelm@66095
   171
                },
wenzelm@66095
   172
                "isabelle.unprocessed1_dark_color": {
wenzelm@66095
   173
                    "type": "string",
wenzelm@66095
   174
                    "default": "rgba(97, 0, 97, 0.20)"
wenzelm@66095
   175
                },
wenzelm@66095
   176
                "isabelle.running_light_color": {
wenzelm@66095
   177
                    "type": "string",
wenzelm@66095
   178
                    "default": "rgba(97, 0, 97, 1.00)"
wenzelm@66095
   179
                },
wenzelm@66095
   180
                "isabelle.running_dark_color": {
wenzelm@66095
   181
                    "type": "string",
wenzelm@66095
   182
                    "default": "rgba(255, 160, 160, 1.00)"
wenzelm@66095
   183
                },
wenzelm@66095
   184
                "isabelle.running1_light_color": {
wenzelm@66095
   185
                    "type": "string",
wenzelm@66095
   186
                    "default": "rgba(97, 0, 97, 0.40)"
wenzelm@66095
   187
                },
wenzelm@66095
   188
                "isabelle.running1_dark_color": {
wenzelm@66095
   189
                    "type": "string",
wenzelm@66095
   190
                    "default": "rgba(255, 160, 160, 0.40)"
wenzelm@66095
   191
                },
wenzelm@66095
   192
                "isabelle.bad_light_color": {
wenzelm@66095
   193
                    "type": "string",
wenzelm@66095
   194
                    "default": "rgba(255, 106, 106, 0.40)"
wenzelm@66095
   195
                },
wenzelm@66095
   196
                "isabelle.bad_dark_color": {
wenzelm@66095
   197
                    "type": "string",
wenzelm@66095
   198
                    "default": "rgba(255, 106, 106, 0.40)"
wenzelm@66095
   199
                },
wenzelm@66095
   200
                "isabelle.intensify_light_color": {
wenzelm@66095
   201
                    "type": "string",
wenzelm@66095
   202
                    "default": "rgba(255, 204, 102, 0.40)"
wenzelm@66095
   203
                },
wenzelm@66095
   204
                "isabelle.intensify_dark_color": {
wenzelm@66095
   205
                    "type": "string",
wenzelm@66095
   206
                    "default": "rgba(204, 136, 0, 0.20)"
wenzelm@66095
   207
                },
wenzelm@66095
   208
                "isabelle.markdown_item1_light_color": {
wenzelm@66095
   209
                    "type": "string",
wenzelm@66095
   210
                    "default": "rgba(218, 254, 218, 1.00)"
wenzelm@66095
   211
                },
wenzelm@66095
   212
                "isabelle.markdown_item1_dark_color": {
wenzelm@66095
   213
                    "type": "string",
wenzelm@66095
   214
                    "default": "rgba(5, 199, 5, 0.20)"
wenzelm@66095
   215
                },
wenzelm@66095
   216
                "isabelle.markdown_item2_light_color": {
wenzelm@66095
   217
                    "type": "string",
wenzelm@66095
   218
                    "default": "rgba(255, 240, 204, 1.00)"
wenzelm@66095
   219
                },
wenzelm@66095
   220
                "isabelle.markdown_item2_dark_color": {
wenzelm@66095
   221
                    "type": "string",
wenzelm@66095
   222
                    "default": "rgba(204, 143, 0, 0.20)"
wenzelm@66095
   223
                },
wenzelm@66095
   224
                "isabelle.markdown_item3_light_color": {
wenzelm@66095
   225
                    "type": "string",
wenzelm@66095
   226
                    "default": "rgba(231, 231, 255, 1.00)"
wenzelm@66095
   227
                },
wenzelm@66095
   228
                "isabelle.markdown_item3_dark_color": {
wenzelm@66095
   229
                    "type": "string",
wenzelm@66095
   230
                    "default": "rgba(0, 0, 204, 0.20)"
wenzelm@66095
   231
                },
wenzelm@66095
   232
                "isabelle.markdown_item4_light_color": {
wenzelm@66095
   233
                    "type": "string",
wenzelm@66095
   234
                    "default": "rgba(255, 224, 240, 1.00)"
wenzelm@66095
   235
                },
wenzelm@66095
   236
                "isabelle.markdown_item4_dark_color": {
wenzelm@66095
   237
                    "type": "string",
wenzelm@66095
   238
                    "default": "rgba(204, 0, 105, 0.20)"
wenzelm@66095
   239
                },
wenzelm@66095
   240
                "isabelle.quoted_light_color": {
wenzelm@66095
   241
                    "type": "string",
wenzelm@66095
   242
                    "default": "rgba(139, 139, 139, 0.10)"
wenzelm@66095
   243
                },
wenzelm@66095
   244
                "isabelle.quoted_dark_color": {
wenzelm@66095
   245
                    "type": "string",
wenzelm@66095
   246
                    "default": "rgba(150, 150, 150, 0.15)"
wenzelm@66095
   247
                },
wenzelm@66095
   248
                "isabelle.antiquoted_light_color": {
wenzelm@66095
   249
                    "type": "string",
wenzelm@66095
   250
                    "default": "rgba(255, 200, 50, 0.10)"
wenzelm@66095
   251
                },
wenzelm@66095
   252
                "isabelle.antiquoted_dark_color": {
wenzelm@66095
   253
                    "type": "string",
wenzelm@66095
   254
                    "default": "rgba(255, 214, 102, 0.15)"
wenzelm@66095
   255
                },
wenzelm@66095
   256
                "isabelle.writeln_light_color": {
wenzelm@66095
   257
                    "type": "string",
wenzelm@66095
   258
                    "default": "rgba(192, 192, 192, 1.0)"
wenzelm@66095
   259
                },
wenzelm@66095
   260
                "isabelle.writeln_dark_color": {
wenzelm@66095
   261
                    "type": "string",
wenzelm@66095
   262
                    "default": "rgba(192, 192, 192, 1.0)"
wenzelm@66095
   263
                },
wenzelm@66095
   264
                "isabelle.information_light_color": {
wenzelm@66095
   265
                    "type": "string",
wenzelm@66095
   266
                    "default": "rgba(193, 223, 238, 1.0)"
wenzelm@66095
   267
                },
wenzelm@66095
   268
                "isabelle.information_dark_color": {
wenzelm@66095
   269
                    "type": "string",
wenzelm@66095
   270
                    "default": "rgba(193, 223, 238, 1.0)"
wenzelm@66095
   271
                },
wenzelm@66095
   272
                "isabelle.warning_light_color": {
wenzelm@66095
   273
                    "type": "string",
wenzelm@66095
   274
                    "default": "rgba(255, 140, 0, 1.0)"
wenzelm@66095
   275
                },
wenzelm@66095
   276
                "isabelle.warning_dark_color": {
wenzelm@66095
   277
                    "type": "string",
wenzelm@66095
   278
                    "default": "rgba(255, 140, 0, 1.0)"
wenzelm@66095
   279
                },
wenzelm@66095
   280
                "isabelle.error_light_color": {
wenzelm@66095
   281
                    "type": "string",
wenzelm@66095
   282
                    "default": "rgba(178, 34, 34, 1.00)"
wenzelm@66095
   283
                },
wenzelm@66095
   284
                "isabelle.error_dark_color": {
wenzelm@66095
   285
                    "type": "string",
wenzelm@66095
   286
                    "default": "rgba(178, 34, 34, 1.00)"
wenzelm@66095
   287
                },
wenzelm@66095
   288
                "isabelle.spell_checker_light_color": {
wenzelm@66095
   289
                    "type": "string",
wenzelm@66095
   290
                    "default": "rgba(0, 0, 255, 1.0)"
wenzelm@66095
   291
                },
wenzelm@66095
   292
                "isabelle.spell_checker_dark_color": {
wenzelm@66095
   293
                    "type": "string",
wenzelm@66095
   294
                    "default": "rgba(86, 156, 214, 1.00)"
wenzelm@66095
   295
                },
wenzelm@66095
   296
                "isabelle.main_light_color": {
wenzelm@66095
   297
                    "type": "string",
wenzelm@66095
   298
                    "default": "rgba(0, 0, 0, 1.00)"
wenzelm@66095
   299
                },
wenzelm@66095
   300
                "isabelle.main_dark_color": {
wenzelm@66095
   301
                    "type": "string",
wenzelm@66095
   302
                    "default": "rgba(212, 212, 212, 1.00)"
wenzelm@66095
   303
                },
wenzelm@66095
   304
                "isabelle.keyword1_light_color": {
wenzelm@66095
   305
                    "type": "string",
wenzelm@66095
   306
                    "default": "rgba(175, 0, 219, 1.00)"
wenzelm@66095
   307
                },
wenzelm@66095
   308
                "isabelle.keyword1_dark_color": {
wenzelm@66095
   309
                    "type": "string",
wenzelm@66095
   310
                    "default": "rgba(197, 134, 192, 1.00)"
wenzelm@66095
   311
                },
wenzelm@66095
   312
                "isabelle.keyword2_light_color": {
wenzelm@66095
   313
                    "type": "string",
wenzelm@66095
   314
                    "default": "rgba(9, 136, 90, 1.00)"
wenzelm@66095
   315
                },
wenzelm@66095
   316
                "isabelle.keyword2_dark_color": {
wenzelm@66095
   317
                    "type": "string",
wenzelm@66095
   318
                    "default": "rgba(181, 206, 168, 1.00)"
wenzelm@66095
   319
                },
wenzelm@66095
   320
                "isabelle.keyword3_light_color": {
wenzelm@66095
   321
                    "type": "string",
wenzelm@66095
   322
                    "default": "rgba(38, 127, 153, 1.00)"
wenzelm@66095
   323
                },
wenzelm@66095
   324
                "isabelle.keyword3_dark_color": {
wenzelm@66095
   325
                    "type": "string",
wenzelm@66095
   326
                    "default": "rgba(78, 201, 176), 1.00)"
wenzelm@66095
   327
                },
wenzelm@66095
   328
                "isabelle.quasi_keyword_light_color": {
wenzelm@66095
   329
                    "type": "string",
wenzelm@66095
   330
                    "default": "rgba(153, 102, 255, 1.00)"
wenzelm@66095
   331
                },
wenzelm@66095
   332
                "isabelle.quasi_keyword_dark_color": {
wenzelm@66095
   333
                    "type": "string",
wenzelm@66095
   334
                    "default": "rgba(153, 102, 255, 1.00)"
wenzelm@66095
   335
                },
wenzelm@66095
   336
                "isabelle.improper_light_color": {
wenzelm@66095
   337
                    "type": "string",
wenzelm@66095
   338
                    "default": "rgba(205, 49, 49, 1.00)"
wenzelm@66095
   339
                },
wenzelm@66095
   340
                "isabelle.improper_dark_color": {
wenzelm@66095
   341
                    "type": "string",
wenzelm@66095
   342
                    "default": "rgba(244, 71, 71, 1.00)"
wenzelm@66095
   343
                },
wenzelm@66095
   344
                "isabelle.operator_light_color": {
wenzelm@66095
   345
                    "type": "string",
wenzelm@66095
   346
                    "default": "rgba(50, 50, 50, 1.00)"
wenzelm@66095
   347
                },
wenzelm@66095
   348
                "isabelle.operator_dark_color": {
wenzelm@66095
   349
                    "type": "string",
wenzelm@66095
   350
                    "default": "rgba(212, 212, 212, 1.00)"
wenzelm@66095
   351
                },
wenzelm@66095
   352
                "isabelle.tfree_light_color": {
wenzelm@66095
   353
                    "type": "string",
wenzelm@66095
   354
                    "default": "rgba(160, 32, 240, 1.00)"
wenzelm@66095
   355
                },
wenzelm@66095
   356
                "isabelle.tfree_dark_color": {
wenzelm@66095
   357
                    "type": "string",
wenzelm@66095
   358
                    "default": "rgba(160, 32, 240, 1.00)"
wenzelm@66095
   359
                },
wenzelm@66095
   360
                "isabelle.tvar_light_color": {
wenzelm@66095
   361
                    "type": "string",
wenzelm@66095
   362
                    "default": "rgba(160, 32, 240, 1.00)"
wenzelm@66095
   363
                },
wenzelm@66095
   364
                "isabelle.tvar_dark_color": {
wenzelm@66095
   365
                    "type": "string",
wenzelm@66095
   366
                    "default": "rgba(160, 32, 240, 1.00)"
wenzelm@66095
   367
                },
wenzelm@66095
   368
                "isabelle.free_light_color": {
wenzelm@66095
   369
                    "type": "string",
wenzelm@66095
   370
                    "default": "rgba(0, 0, 255, 1.00)"
wenzelm@66095
   371
                },
wenzelm@66095
   372
                "isabelle.free_dark_color": {
wenzelm@66095
   373
                    "type": "string",
wenzelm@66095
   374
                    "default": "rgba(86, 156, 214, 1.00)"
wenzelm@66095
   375
                },
wenzelm@66095
   376
                "isabelle.skolem_light_color": {
wenzelm@66095
   377
                    "type": "string",
wenzelm@66095
   378
                    "default": "rgba(210, 105, 30, 1.00)"
wenzelm@66095
   379
                },
wenzelm@66095
   380
                "isabelle.skolem_dark_color": {
wenzelm@66095
   381
                    "type": "string",
wenzelm@66095
   382
                    "default": "rgba(210, 105, 30, 1.00)"
wenzelm@66095
   383
                },
wenzelm@66095
   384
                "isabelle.bound_light_color": {
wenzelm@66095
   385
                    "type": "string",
wenzelm@66095
   386
                    "default": "rgba(0, 128, 0, 1.00)"
wenzelm@66095
   387
                },
wenzelm@66095
   388
                "isabelle.bound_dark_color": {
wenzelm@66095
   389
                    "type": "string",
wenzelm@66095
   390
                    "default": "rgba(96, 139, 78, 1.00)"
wenzelm@66095
   391
                },
wenzelm@66095
   392
                "isabelle.var_light_color": {
wenzelm@66095
   393
                    "type": "string",
wenzelm@66095
   394
                    "default": "rgba(0, 16, 128, 1.00)"
wenzelm@66095
   395
                },
wenzelm@66095
   396
                "isabelle.var_dark_color": {
wenzelm@66095
   397
                    "type": "string",
wenzelm@66095
   398
                    "default": "rgba(156, 220, 254, 1.00)"
wenzelm@66095
   399
                },
wenzelm@66095
   400
                "isabelle.inner_numeral_light_color": {
wenzelm@66095
   401
                    "type": "string",
wenzelm@66095
   402
                    "default": "rgba(9, 136, 90, 1.00)"
wenzelm@66095
   403
                },
wenzelm@66095
   404
                "isabelle.inner_numeral_dark_color": {
wenzelm@66095
   405
                    "type": "string",
wenzelm@66095
   406
                    "default": "rgba(181, 206, 168, 1.00)"
wenzelm@66095
   407
                },
wenzelm@66095
   408
                "isabelle.inner_quoted_light_color": {
wenzelm@66095
   409
                    "type": "string",
wenzelm@66095
   410
                    "default": "rgba(163, 21, 21, 1.00)"
wenzelm@66095
   411
                },
wenzelm@66095
   412
                "isabelle.inner_quoted_dark_color": {
wenzelm@66095
   413
                    "type": "string",
wenzelm@66095
   414
                    "default": "rgba(206, 145, 120, 1.00)"
wenzelm@66095
   415
                },
wenzelm@66095
   416
                "isabelle.inner_cartouche_light_color": {
wenzelm@66095
   417
                    "type": "string",
wenzelm@66095
   418
                    "default": "rgba(129, 31, 63, 1.00)"
wenzelm@66095
   419
                },
wenzelm@66095
   420
                "isabelle.inner_cartouche_dark_color": {
wenzelm@66095
   421
                    "type": "string",
wenzelm@66095
   422
                    "default": "rgba(209, 105, 105, 1.00)"
wenzelm@66095
   423
                },
wenzelm@66095
   424
                "isabelle.inner_comment_light_color": {
wenzelm@66095
   425
                    "type": "string",
wenzelm@66095
   426
                    "default": "rgba(0, 128, 0, 1.00)"
wenzelm@66095
   427
                },
wenzelm@66095
   428
                "isabelle.inner_comment_dark_color": {
wenzelm@66095
   429
                    "type": "string",
wenzelm@66095
   430
                    "default": "rgba(96, 139, 78, 1.00)"
wenzelm@66095
   431
                },
wenzelm@66095
   432
                "isabelle.dynamic_light_color": {
wenzelm@66095
   433
                    "type": "string",
wenzelm@66095
   434
                    "default": "rgba(121, 94, 38, 1.00)"
wenzelm@66095
   435
                },
wenzelm@66095
   436
                "isabelle.dynamic_dark_color": {
wenzelm@66095
   437
                    "type": "string",
wenzelm@66095
   438
                    "default": "rgba(220, 220, 170, 1.00)"
wenzelm@66095
   439
                },
wenzelm@66095
   440
                "isabelle.class_parameter_light_color": {
wenzelm@66095
   441
                    "type": "string",
wenzelm@66095
   442
                    "default": "rgba(210, 105, 30, 1.00)"
wenzelm@66095
   443
                },
wenzelm@66095
   444
                "isabelle.class_parameter_dark_color": {
wenzelm@66095
   445
                    "type": "string",
wenzelm@66095
   446
                    "default": "rgba(210, 105, 30, 1.00)"
wenzelm@66095
   447
                },
wenzelm@66095
   448
                "isabelle.antiquote_light_color": {
wenzelm@66095
   449
                    "type": "string",
wenzelm@66095
   450
                    "default": "rgba(102, 0, 204, 1.00)"
wenzelm@66095
   451
                },
wenzelm@66095
   452
                "isabelle.antiquote_dark_color": {
wenzelm@66095
   453
                    "type": "string",
wenzelm@66095
   454
                    "default": "rgba(197, 134, 192, 1.00)"
wenzelm@66095
   455
                }
wenzelm@64605
   456
            }
wenzelm@64605
   457
        }
wenzelm@64605
   458
    },
wenzelm@64605
   459
    "scripts": {
wenzelm@64605
   460
        "vscode:prepublish": "tsc -p ./",
wenzelm@64605
   461
        "compile": "tsc -watch -p ./",
wenzelm@64605
   462
        "postinstall": "node ./node_modules/vscode/bin/install"
wenzelm@64605
   463
    },
wenzelm@64605
   464
    "devDependencies": {
wenzelm@65886
   465
        "typescript": "^2.3.2",
wenzelm@65886
   466
        "vscode": "^1.1.0",
wenzelm@65886
   467
        "mocha": "^3.4.1",
wenzelm@65886
   468
        "@types/node": "^7.0.21",
wenzelm@65886
   469
        "@types/mocha": "^2.2.41"
wenzelm@64605
   470
    },
wenzelm@64605
   471
    "dependencies": {
wenzelm@65886
   472
        "vscode-languageclient": "~3.2.2"
wenzelm@64605
   473
    }
wenzelm@65192
   474
}