[ACA-1646] "dev tools" extension (#567)

Browse Source

* dev tools extension project

* code editor integration

* latest editor, offline setup

* override extension config (session only)

* schema support

* wire external plugins with experimental flag

* update package scripts

* sidebar extensions scaffold

* propagate extension tabs to info drawer

* separate tab components for info drawer

* extensibility for info drawer

* support tab icons

...

This commit is contained in:

Denys Vuika

2018-08-16 16:55:06 +01:00

committed by GitHub

parent ed23a21a00

commit 89aec91caf

43 changed files with 2391 additions and 149 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

package-lock.json

Generated

+1045 -56

File diff suppressed because it is too large Load Diff