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
..
dark	Improve UI options (#462)	2023-04-25 15:46:11 -04:00
light	Improve UI options (#462)	2023-04-25 15:46:11 -04:00
makefile-logo.png	Compliance work (#77)	2020-12-03 13:19:38 -08:00
viewcontainer.svg	Compliance work (#77)	2020-12-03 13:19:38 -08:00