August 28, 2018 – September 4, 2018
Overview
3 Pull requests merged by 2 people
-
Merged
#38
chore: upgrade deps
Sep 4, 2018 -
Merged
#31
chore(deps): update dependency typescript-json-schema to ^0.32.0
Sep 4, 2018 -
Merged
#30
feat: add extension decorations API
Aug 30, 2018
4 Issues created by 1 person
-
Opened
#37
Line BG colors from multiple extensions can clobber each other
Aug 30, 2018 -
Opened
#36
All common features (like hovers) should have dedicated methods
Aug 30, 2018 -
Opened
#35
createWebWorkerMessageTransports could be implicit
Aug 30, 2018 -
Opened
#34
Registering capabilities and listening to requests could be simplified
Aug 30, 2018