8bb660b779
Improve UI options ( #462 )
...
* save progress
* add ui controls
* update UI if we try to open the file and it's not open
* improve and set icons
* reveal the file in explorer view as well, and open workspace settings instead
2023-04-25 15:46:11 -04:00
b652691fd9
Fixing a few bugs encountered while testing ( #39 )
...
* Fixing a few bugs encountered while testing
* Fix the run button size
2020-09-04 01:41:32 -07:00
aeab2e24df
UI View and some bug fixes. ( #38 )
...
* UI View and some bug fixes.
* Added tree.ts missed by mistake from the previous commit
* Small followup.
2020-09-03 09:47:23 -07:00
7f2255f8fd
Fix colors for SVG files ( #37 )
...
* Fix colors for SVG files
* Move viewcontainer out of light/dark
2020-09-01 11:44:02 -07:00
Garrett Campbell
Bob Brown
Andreea Isac