16 "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" }, |
16 "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" }, |
17 "engines": { "vscode": "^1.8.0" }, |
17 "engines": { "vscode": "^1.8.0" }, |
18 "categories": ["Languages"], |
18 "categories": ["Languages"], |
19 "activationEvents": [ |
19 "activationEvents": [ |
20 "onLanguage:isabelle", |
20 "onLanguage:isabelle", |
21 "onLanguage:isabelle-ml" |
21 "onLanguage:isabelle-ml", |
|
22 "onCommand:isabelle.preview", |
|
23 "onCommand:isabelle.preview-side", |
|
24 "onCommand:isabelle.preview-source" |
22 ], |
25 ], |
23 "main": "./out/src/extension", |
26 "main": "./out/src/extension", |
24 "contributes": { |
27 "contributes": { |
25 "commands": [ |
28 "commands": [ |
26 { |
29 { |
27 "command": "isabelle.preview", |
30 "command": "isabelle.preview", |
28 "title": "Isabelle Document Preview" |
31 "title": "Open Preview", |
29 } |
32 "category": "Isabelle", |
30 ], |
33 "icon": { |
|
34 "light": "./media/Preview.svg", |
|
35 "dark": "./media/Preview_inverse.svg" |
|
36 } |
|
37 }, |
|
38 { |
|
39 "command": "isabelle.preview-side", |
|
40 "title": "Open Preview to the Side", |
|
41 "category": "Isabelle", |
|
42 "icon": { |
|
43 "light": "./media/PreviewOnRightPane_16x.svg", |
|
44 "dark": "./media/PreviewOnRightPane_16x_dark.svg" |
|
45 } |
|
46 }, |
|
47 { |
|
48 "command": "isabelle.preview-source", |
|
49 "title": "Show Source", |
|
50 "category": "Isabelle", |
|
51 "icon": { |
|
52 "light": "./media/ViewSource.svg", |
|
53 "dark": "./media/ViewSource_inverse.svg" |
|
54 } |
|
55 } |
|
56 ], |
|
57 "menus": { |
|
58 "editor/title": [ |
|
59 { |
|
60 "when": "editorLangId == isabelle", |
|
61 "command": "isabelle.preview-side", |
|
62 "alt": "isabelle.preview", |
|
63 "group": "navigation" |
|
64 }, |
|
65 { |
|
66 "when": "resourceScheme == isabelle-preview", |
|
67 "command": "isabelle.preview-source", |
|
68 "group": "navigation" |
|
69 } |
|
70 ], |
|
71 "explorer/context": [ |
|
72 { |
|
73 "when": "resourceLangId == isabelle", |
|
74 "command": "isabelle.preview", |
|
75 "group": "navigation" |
|
76 } |
|
77 ] |
|
78 }, |
31 "languages": [ |
79 "languages": [ |
32 { |
80 { |
33 "id": "isabelle", |
81 "id": "isabelle", |
34 "aliases": ["Isabelle"], |
82 "aliases": ["Isabelle"], |
35 "extensions": [".thy"], |
83 "extensions": [".thy"], |