[Gimp-developer] Do we need different window hints for the docks and the toolbox?

2009-09-09 Thread Martin Nordholts
Hi, In Edit->Preferences->Window Management you can set the window hint on the toolbox and the docks separately. Do we really need this kind of granularity? Isn't it enough to only have one window hint setting and use that for both the toolbox and the docks? I can't come up with a use case where t

Re: [Gimp-developer] Do we need different window hints for the docks and the toolbox?

2009-09-09 Thread Martin Nordholts
On 09/09/2009 07:10 PM, Martin Nordholts wrote: > The commit [1] that introduced the hint concept doesn't explain why > two separate options were added. Do you remember your reasons for > doing this Sven? Drc reminded me of that once upon a time the toolbox was the main window. Since that is not t

Re: [Gimp-developer] Do we need different window hints for the docks and the toolbox?

2009-09-09 Thread Martin Nordholts
On 09/09/2009 10:56 PM, Martin Nordholts wrote: > Drc reminded me of that once upon a time the toolbox was the main > window. Since that is not the case any longer, let's get rid of > the toolbox specific hint and use the dock hint also for the toolbox. I've done this now: commit e1faf82e7d9a9dd3