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

"潘卫平(Peter Pan)" wppan at redflag-linux.com
Tue Aug 4 03:45:50 CEST 2009


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


More information about the Plasma-devel mailing list