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