|
44 | 44 | } |
45 | 45 | } |
46 | 46 | }, |
47 | | - "debuggers": [ |
48 | | - { |
49 | | - "type": "jacdebug", |
50 | | - "label": "Jac Debug", |
51 | | - "initialConfigurations": [ |
52 | | - { |
53 | | - "type": "debugpy", |
54 | | - "request": "launch", |
55 | | - "name": "Run a jac file", |
56 | | - "program": "${command:extension.jaclang-extension.getJacPath}", |
57 | | - "args": "run ${file}" |
58 | | - } |
59 | | - ] |
60 | | - } |
61 | | - ], |
62 | 47 | "commands": [ |
63 | 48 | { |
64 | 49 | "command": "jaclang-extension.visualizeGraph", |
65 | | - "title": "jacvis: Visualize Jaclang Graph" |
| 50 | + "title": "Jac: Visualize Graph" |
66 | 51 | }, |
67 | 52 | { |
68 | 53 | "command": "jaclang-extension.selectEnv", |
69 | | - "title": "Jaclang: Select Environment" |
| 54 | + "title": "Jac: Select Environment" |
70 | 55 | }, |
71 | 56 | { |
72 | 57 | "command": "jaclang-extension.toggleDeveloperMode", |
|
83 | 68 | "icon": "$(play)" |
84 | 69 | }, |
85 | 70 | { |
86 | | - "command": "jaclang-extension.checkCurrentFile", |
87 | | - "title": "Jac: Check", |
88 | | - "icon": "$(shield)" |
| 71 | + "command": "jaclang-extension.debugCurrentFile", |
| 72 | + "title": "Jac: Debug", |
| 73 | + "icon": "$(debug-alt)" |
89 | 74 | }, |
90 | 75 | { |
91 | 76 | "command": "jaclang-extension.serveCurrentFile", |
|
101 | 86 | "when": "resourceLangId == jac" |
102 | 87 | }, |
103 | 88 | { |
104 | | - "command": "jaclang-extension.checkCurrentFile", |
| 89 | + "command": "jaclang-extension.debugCurrentFile", |
105 | 90 | "group": "navigation@1", |
106 | 91 | "when": "resourceLangId == jac" |
107 | 92 | } |
|
142 | 127 | "scopeName": "source.jac", |
143 | 128 | "path": "./syntaxes/jac.tmLanguage.json" |
144 | 129 | } |
| 130 | + ], |
| 131 | + "debuggers": [ |
| 132 | + { |
| 133 | + "type": "jacdebug", |
| 134 | + "label": "Jac Debug", |
| 135 | + "configurationAttributes": { |
| 136 | + "launch": { |
| 137 | + "required": [], |
| 138 | + "properties": { |
| 139 | + "program": { |
| 140 | + "type": "string", |
| 141 | + "description": "Path to the Jac executable", |
| 142 | + "default": "${command:extension.jaclang-extension.getJacPath}" |
| 143 | + }, |
| 144 | + "args": { |
| 145 | + "type": "array", |
| 146 | + "description": "Command line arguments passed to the program", |
| 147 | + "items": { |
| 148 | + "type": "string" |
| 149 | + }, |
| 150 | + "default": ["run", "${file}"] |
| 151 | + }, |
| 152 | + "console": { |
| 153 | + "enum": ["internalConsole", "integratedTerminal", "externalTerminal"], |
| 154 | + "description": "Where to launch the debug target", |
| 155 | + "default": "integratedTerminal" |
| 156 | + }, |
| 157 | + "justMyCode": { |
| 158 | + "type": "boolean", |
| 159 | + "description": "Enable/disable debugging just the user's code", |
| 160 | + "default": true |
| 161 | + } |
| 162 | + } |
| 163 | + } |
| 164 | + }, |
| 165 | + "initialConfigurations": [ |
| 166 | + { |
| 167 | + "type": "debugpy", |
| 168 | + "request": "launch", |
| 169 | + "name": "Jac: Debug Current File", |
| 170 | + "python": "${command:extension.jaclang-extension.getPythonPath}", |
| 171 | + "program": "${command:extension.jaclang-extension.getJacPath}", |
| 172 | + "args": [ |
| 173 | + "run", |
| 174 | + "${file}" |
| 175 | + ], |
| 176 | + "console": "integratedTerminal", |
| 177 | + "justMyCode": true |
| 178 | + } |
| 179 | + ], |
| 180 | + "configurationSnippets": [ |
| 181 | + { |
| 182 | + "label": "Jac: Debug Current File", |
| 183 | + "description": "Debug the currently active Jac file", |
| 184 | + "body": { |
| 185 | + "type": "debugpy", |
| 186 | + "request": "launch", |
| 187 | + "name": "Jac: Debug Current File", |
| 188 | + "python": "${command:extension.jaclang-extension.getPythonPath}", |
| 189 | + "program": "${command:extension.jaclang-extension.getJacPath}", |
| 190 | + "args": [ |
| 191 | + "run", |
| 192 | + "${file}" |
| 193 | + ], |
| 194 | + "console": "integratedTerminal", |
| 195 | + "justMyCode": true |
| 196 | + } |
| 197 | + } |
| 198 | + ] |
| 199 | + } |
145 | 200 | ] |
146 | 201 | }, |
147 | 202 | "main": "./out/extension.js", |
|
0 commit comments