afff86ae9c
plugin.ts: Adjust to implement pluginapi.d.ts correctly
2020-11-06 10:12:46 -05:00
fed545e67d
plugin.d.ts -> pluginapi.d.ts
...
More clear.
2020-11-06 10:12:46 -05:00
6638daf6f0
plugin.d.ts: Add explicit path field and adjust types to reflect
...
See my discussion with Will in the PR.
2020-11-06 10:12:46 -05:00
8d3a7721fe
plugin.d.ts: Document plugin priority correctly
2020-11-06 10:12:46 -05:00
aa2cfa2c17
typings/plugin.d.ts: Create
2020-11-06 10:11:57 -05:00
4aa15401c3
Format and lint
2020-02-14 20:00:19 -05:00
b29346ecdf
Implement new structure
2020-02-04 14:31:44 -06:00
a26844ea45
Add package.json for publishing API types
2019-09-04 11:47:50 -05:00
62719ab544
Clean up client API
...
- Don't use "any" for the API type.
- Remove everything from the Coder API that can eventually be done
through the VS Code API.
- Move the event emission to our own client to minimize patching.
2019-07-31 17:22:15 -05:00
45d348b03d
Expose API on the client
2019-07-18 18:09:22 -05:00
2b2aa9a211
Add https server
2019-07-18 18:09:09 -05:00
