Hide/Show all widgets #589

telephon opened this Issue Oct 8, 2012 · 0 comments

2 participants

SuperCollider member

It would make sense if we could hide/show all visual elements / widgets from the View menu.
For example, the clock may be redundant when you have a clock elsewhere, the server display when no server is involved, and (link to #585) line numbers are not needed for everything.

@scztt scztt modified the milestone: future Apr 18, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment