[wingide-users] Hiding tool boxes (was RE: Maximising editable area)

[Peter Mott]

Yes - I would second this, and put the effort into improving scripting 
of the WingIDE

Peter

Walker Hale wrote:
> Now that I think about it, I'm really starting to like that idea. Just
> expose all the decorations through toggle commands that the users can bind
> to keys. Then everybody gets what he wants without the Wingware team having
> to program in behavior that tries to be a compromise between everyone's
> preferences.
>
> - Walker
>