Jonathan March wrote:
> Though I thought I once saw it, I cannot now find a command / option to
> hide the editor symbol menu bar. Usually I want to show it, but
> sometimes during debugging, with both right and bottom tool panels
> showing, plus a top-bottom editor split, vertical space is too precious
> and I would like to hide it temporarily.
There isn't an option for hiding & showing this bar. We'll try to add
it in a future release.
Thanks for the suggestion.
John