Garrett Campbell 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
..
build.svg	UI View and some bug fixes. (#38)	2020-09-03 09:47:23 -07:00