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

Peter Mott peter at monicol.co.uk
Mon Apr 10 15:48:31 EDT 2006

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


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

More information about the wingide-users mailing list