12 Commits

Author SHA1 Message Date
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