|
9d70e7cd7f
|
Updated panel to use Webview API
(Also removed some dead code)
|
2019-04-04 19:44:38 +01:00 |
|
|
235bed6de2
|
Remove unused files
|
2018-07-04 13:37:33 +02:00 |
|
|
e8421926dc
|
Done
|
2018-07-04 13:37:33 +02:00 |
|
|
2343164b29
|
Playing with colors
|
2018-07-04 13:37:33 +02:00 |
|
|
674f657acb
|
CSS styles for VSCode themes
|
2018-07-04 13:37:33 +02:00 |
|
|
ae430493d7
|
SVG styling
|
2018-07-04 13:37:33 +02:00 |
|
|
96bd68be7c
|
Clean up
|
2018-07-04 13:37:33 +02:00 |
|
|
ed2b511762
|
About done
|
2018-07-04 13:37:33 +02:00 |
|
|
ac74701866
|
Start language radial progress
|
2018-07-04 13:37:33 +02:00 |
|
|
1643159674
|
Add machines
|
2018-07-04 13:37:33 +02:00 |
|
|
e5536d8c23
|
Move html template out
|
2018-07-04 13:37:33 +02:00 |
|
|
4a77a37875
|
Move resources into external files
|
2018-07-04 13:37:33 +02:00 |
|