[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

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
>   


More information about the wingide-users mailing list