[PATCH] Cleaner IDEAl-Mode

[Wilfried Huss]

Am Monday, 17. January 2005 20:46 schrieb Matt Rogers:
> On Monday 17 January 2005 06:12 am, Wilfried Huss wrote:
> > The attached patch fixes bug #79031 (In kmdi IDEAI-mode KDockSplitters
> > are shown even if the docks are closed).
> >
> > I think it looks much better, even though the spacing is still not
> > perfect (see before/after-image).
> >
> > Can someone familiar with the code tell me if it is ok to commit?
>
> Does this have any side effects when the docks are opened? 

No.

> Also, what does this do to other applications that have dockwidgets? 

It seems as only KMDI uses the KDockSplitter in fixed-mode. And even
if not, when set to a fixed position the Splitter should not respond to
mouse events anyway.

> Other than those two questions, it looks ok.

Ok, then I will commit if no one else objects. I would also like to get rid of
the extra space next to the buttons. But I don't understand
the code good enough for that.

Grettings,
Wilfried.