[wingide-users] Feature request:show/hide symbol menu bar

Michael Foord fuzzyman at voidspace.org.uk
Mon Jul 20 04:10:51 MDT 2009


Wing IDE Support wrote:
> 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.

The 'editor symbol menu bar'? Is this the toolbar along the top? There 
is a preferences option to switch this off but a command to toggle it 
on/off that can be bound to a key would be most useful.

Michael Foord

>
> Thanks for the suggestion.
>
> John
> _________________________________________________
> Wing IDE users list
> http://wingware.com/lists/wingide


-- 
http://www.ironpythoninaction.com/
http://www.voidspace.org.uk/blog




More information about the wingide-users mailing list