Closed matthewkaney closed 11 months ago
Currently, the bottom toolbar and terminal are implemented as editor extensions, whereas they should really persist across multiple editors (or no open editors)
Currently, the bottom toolbar and terminal are implemented as editor extensions, whereas they should really persist across multiple editors (or no open editors)