Benjamin Pasero
|
31ffdc0eb5
|
files2 - adopt new methods
|
2019-04-16 12:18:04 +02:00 |
|
Sandeep Somavarapu
|
bf95ef6e79
|
minor fixes
|
2019-04-12 13:52:57 +02:00 |
|
Sandeep Somavarapu
|
7a825dce57
|
Get outdated extensions from service
|
2019-04-09 20:58:22 +02:00 |
|
Sandeep Somavarapu
|
95454586b8
|
Update the extension when it is not from a server
|
2019-04-09 20:17:40 +02:00 |
|
Sandeep Somavarapu
|
fb9f1f5275
|
Improve extension ui for remote window
- Show group by server as default view
- Install remote action for local workspace extensions
- Show install local or remote action based on manifest
|
2019-04-09 19:27:28 +02:00 |
|
Sandeep Somavarapu
|
ec0c79dd93
|
add readonly to extension properties
|
2019-04-08 21:36:56 +02:00 |
|
Sandeep Somavarapu
|
bc21200de0
|
Extensions viewlet improvements
- Show server view as default in remote window
- Add install remote action for local workspace extension
|
2019-04-08 18:41:59 +02:00 |
|
Benjamin Pasero
|
2937cb0baa
|
debt - introduce and use workbench environment service
|
2019-04-06 12:10:32 +02:00 |
|
SteVen Batten
|
afafc16dc4
|
fixes #69597 (#69628)
* fixes #69597
* adopt focusWindow everywhere
|
2019-03-25 10:53:49 +01:00 |
|
Sandeep Somavarapu
|
155eab32e4
|
Fix #59750
|
2019-03-20 21:17:50 +01:00 |
|
Sandeep Somavarapu
|
b1300a0904
|
Use extension point kind while checking for ui extension
|
2019-03-13 17:02:34 +01:00 |
|
Sandeep Somavarapu
|
084dec8b29
|
set the gallery extension only when installation is succeeded
|
2019-02-26 11:07:08 +01:00 |
|
Sandeep Somavarapu
|
d5d6e57188
|
fix npe
|
2019-02-26 11:04:10 +01:00 |
|
Sandeep Somavarapu
|
5d0a789ccd
|
Fix #69436
|
2019-02-26 11:02:01 +01:00 |
|
Benjamin Pasero
|
1aee0c194c
|
debt - scaffold a service for package.json/product.json access
|
2019-02-21 12:55:46 +01:00 |
|
Benjamin Pasero
|
35523f6c51
|
debt - workbench/parts => workbench/contrib (update imports and scripts)
|
2019-02-07 11:48:58 +01:00 |
|
Benjamin Pasero
|
87c5072ab0
|
debt - workbench/parts => workbench/contrib
|
2019-02-07 11:46:07 +01:00 |
|