Added two extra huge border sizes (BorderVeryHuge and BorderOversized) that are needed for accessibility reasons.
Together with these two sizes it is possible to provide both average sized borders (e.g., 4, 8 or 12 pixels) and wide borders (e.g., 18, 27, 40 pixels) without gaps in between. svn path=/trunk/kdebase/kwin/; revision=253347
This commit is contained in:
parent
d5fb3625b1
commit
2e416ecfd5
2 changed files with 4 additions and 2 deletions
|
@ -120,7 +120,9 @@ public:
|
|||
BorderNormal, ///< Standard size borders, the default setting
|
||||
BorderLarge, ///< Larger borders
|
||||
BorderVeryLarge, ///< Very large borders
|
||||
BorderHuge ///< Huge borders
|
||||
BorderHuge, ///< Huge borders
|
||||
BorderVeryHuge, ///< Very huge borders
|
||||
BorderOversized ///< Oversized borders
|
||||
};
|
||||
};
|
||||
|
||||
|
|
|
@ -185,7 +185,7 @@ unsigned long KDecorationOptionsPrivate::updateKWinSettings( KConfig* config )
|
|||
|
||||
BorderSize old_border_size = border_size;
|
||||
int border_size_num = config->readNumEntry( "BorderSize", BorderNormal );
|
||||
if( border_size_num >= BorderTiny && border_size_num <= BorderHuge )
|
||||
if( border_size_num >= BorderTiny && border_size_num <= BorderOversized )
|
||||
border_size = static_cast< BorderSize >( border_size_num );
|
||||
else
|
||||
border_size = BorderNormal;
|
||||
|
|
Loading…
Reference in a new issue