dcd3480cde
web - allow to override product config as API
2020-06-16 07:48:50 +02:00
2e9edc3b47
layout - move restore logic into layout itself ( #99972 )
...
* layout - move restore logic into layout itself
* some code 💄
2020-06-13 08:06:35 +02:00
d78d88f7a8
make merge-conflic serverless
2020-06-12 11:03:52 +02:00
9e0ab5ca6b
Fixes #96939 - reworks default view layout api
2020-06-11 17:49:23 -04:00
f75402751a
Closes #98048 - adds openWith to default editors
2020-06-02 00:55:59 -04:00
1d268b7013
showCandidate should have a better name ( #98566 )
...
Fixes microsoft/vscode-internalbacklog#995
2020-05-28 10:04:12 +02:00
cb932e42da
web - home indicator should still support command API
2020-05-14 09:22:31 +02:00
77b5058284
web - change homeindicator to href instead of command
2020-05-13 13:44:50 +02:00
ece7aaee86
💄 jsdoc
2020-05-01 10:45:22 +02:00
f78c47062a
Fixes #96681 & more
...
Adds `workbench.workspaceFirstOpen` workspace setting to control applying a default layout
Removes `firstRun` flag from `IDefaultLayout`
Changes `IDefaultEditor` to require a `uri` rather than path+scheme - still supports a fallback until embedders can migrate
Adds `openOnlyIfExists` property to `IDefaultEditor` for better control on if a file should be opened or not
2020-04-30 20:04:50 -04:00
9731360e39
Adds basic editor support to defaultLayout
...
Moves applying default layout logic into layout.ts
2020-04-24 00:55:38 -04:00
a71632b7f9
Fixes issue with defaultLayout & active only
2020-04-23 04:54:40 -04:00
4b178bfc9f
💄
2020-04-22 19:35:27 +02:00
b59a959a3e
Use session id in embedder api
2020-04-22 18:59:50 +02:00
029ba89947
Change the embedder api
...
- separate enabling sync by default and logged in account
2020-04-22 12:12:05 +02:00
4ccf59448b
Provide support to sync to an account by default
2020-04-22 11:32:26 +02:00
817e166ac5
Exports missing interfaces
2020-04-21 03:16:41 -04:00
d76919141d
Adds defaultLayout option for embedding — #990
2020-04-20 23:34:07 -04:00
2bd54189e5
web - home indicator wrap up
2020-04-18 08:28:01 +02:00
8ac4c26512
web - add a home indicator API
2020-04-16 10:00:02 +02:00
8efa839e25
web - change into namespace API for commands
2020-04-15 12:10:03 +02:00
00409b06b9
web - 💄 command API
2020-04-14 12:00:20 +02:00
70e8e31ff6
web - add API to execute command
2020-04-14 11:48:42 +02:00
02bc4e2928
quick access - fix bug with options merging
2020-04-10 08:43:12 +02:00
f77e68dea5
web - return result from commands
2020-03-27 09:44:10 +01:00
df958c974f
web - remove "Open in Desktop"
...
Instead it should move into the new remote picker that is enabled for web.
2020-03-25 08:21:45 +01:00
2697ae5040
web - guard against creating workbench more than once
2020-03-10 08:39:38 +01:00
a949694b25
debt - reduce usage of explicit any
2020-02-28 11:33:55 +01:00
8bac008949
web - allow to provide commands as workbench construction options
2020-02-14 10:59:36 +01:00
c366e62803
Web API: registerCommand() ( fix #90569 )
2020-02-13 07:45:03 +01:00
57ac3ed29d
💄 application link docs
2020-02-12 15:28:56 +01:00
0f7880a7ca
web - document "open in desktop" better
2020-02-12 11:33:36 +01:00
bdf11560cd
Web - add "Open in Desktop" feature and new web API
2020-02-12 11:21:19 +01:00
367c81a369
Add embedder API for candidate port filtering
2020-01-20 12:04:58 +01:00
978373f14b
TunnelFactory web api ( #88200 )
...
Web API for tunnels
Part of #81388
2020-01-09 09:29:09 +01:00
a5d47335b4
💄 web api
2019-11-06 11:03:26 +01:00
07ee925337
Web: implement browser extension debug service properly ( fixes #81493 )
2019-10-21 11:22:32 +02:00
988077fc2c
Fix #82298 , this.getConnection is not a function
2019-10-11 11:56:11 -07:00
d1b81e23db
Remove applicationinsights-web dependency
2019-10-07 14:34:21 -07:00
ad5e5815ab
web - introduce workspace provider
2019-09-27 14:10:32 +02:00
f45aa1fc1c
Add resolveCommonTelemetryProperties option
2019-09-25 11:57:46 -07:00
5fc4fe2266
Add resolveExternalUri embedder contribution point
2019-09-17 15:31:59 -07:00
08a5964645
web - change API to URI (from UriComponents)
2019-09-17 07:44:34 +02:00
8a992a2ff1
web - export types from API
2019-09-16 11:22:57 +02:00
f6df256c60
update - move to browser ( #80806 )
...
* web update - first cut service
* web update - move update contribution to browser
* update - tweak settings
2019-09-12 17:53:35 +02:00
2afeba767c
Add resourceUriProvider API
2019-09-11 18:02:54 +02:00
ecc8571a79
web - get product config through build and not via API
2019-09-11 13:49:06 +02:00
31857fa2e3
Persist log level change in web
2019-09-02 20:34:29 +02:00
f682e3bc53
web - align API with what we expect
2019-08-28 14:02:12 +02:00
21ce78cf25
web - lift product config to be proper API
2019-08-24 17:14:14 +02:00
Benjamin Pasero
Martin Aeschlimann
Eric Amodio
Alex Ross
Sandeep Somavarapu
Rachel Macfarlane
Matt Bierner
Alex Dima