[PATCH] Cleaner IDEAl-Mode
Wilfried.Huss at gmx.at
Mon Jan 17 20:32:28 GMT 2005
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?
> 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.
More information about the kde-core-devel