Closed aclement closed 11 years ago
Almost completed, should be in soon.
Done. F2 will close/open it (or the new icon in the top right). Setting is persisted in local storage. It will be overridden by any setting forced in the .scripted
file. I also adjusted the shadows on the navigator edge and the left ruler (when in dark mode), I think it looks better. Running without the navigator feels very clean.
Don't think we have an issue for this right now. Very poor that the only way to turn it off is via configuration and reload. We need a key binding to toggle it open/closed, and perhaps a UI button.