Merge request of new tool docker

[Boudewijn Rempt]

On Wednesday 05 January 2011, Cyrille Berger Skott wrote:
> On Wednesday 05 January 2011, Thomas Pfeiffer wrote:
> > > > > * if there is only one tool widget, it should not show the lock/tab
> > > > > button, and only show tool options, no group widget
> > > > Sounds like a good idea.
> > > I'm not so sure. The docker is the container for various tool options. If
> > > the ability to switch mode depends on what tool is active, then the user
> > > will have to activate the right tool in order to unlock the docker. I
> > > think the user will get quite confused, and think the unlock is suddenly
> > > missing.
> > >
> > > 
> > 
> > Oh, yes, true. I got confused here. Thought there were whole applications
> > that  only used one-widget-tools, but that's not the case of course. I
> > agree that the behavior should not change between tools. But there still
> > should not be two titles if there is only one group. And the tab switch
> > does not make sense either, so it might be disabled (would be less "jumpy"
> > then showing/hiding it). But the lock switch should stay.
> 
> Fine with me. However, I am not quiet sure why this docker deserve a lock 
> (more than the other ones), I wonder if the lock button and tab button should 
> not be moved to the title bar.

I like that idea.

-- 
Boudewijn Rempt | http://www.valdyas.org, http://www.krita.org