[PATCH] Cleaner IDEAl-Mode

[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? Other than those two 
questions, it looks ok.

Thanks,
Matt