[PATCH] BUG 184905 Size of the panel changes when the plasma theme changes

["潘卫平(Peter Pan)"]

Aaron J. Seigo 写道:
> On Sunday 02 August 2009, 潘卫平(Peter Pan) wrote:
>> The reason is that the margins of panel's layout isn't equal to the
>> margins of panel's background.
>> (kdebase/workspace/plasma/containments/panel/panel.cpp line 678-684)
> 
> yes, i think your patch is correct. nice one :)
> 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Plasma-devel mailing list
> Plasma-devel at kde.org
> https://mail.kde.org/mailman/listinfo/plasma-devel

svn commit r1006608

Don't change the size of panel when we change the plasma theme or 
enable/disable window effects.

BUG:184905

Many thanks.
-- 
潘卫平(Peter Pan)
Red Flag Software Co., Ltd