Summary: | allow configuration of window border/edge grab width for resizing | ||
---|---|---|---|
Product: | [Frameworks and Libraries] frameworks-kwindowsystem | Reporter: | pf |
Component: | general | Assignee: | Martin Flöser <mgraesslin> |
Status: | RESOLVED NOT A BUG | ||
Severity: | wishlist | CC: | kde.braxton, kdelibs-bugs |
Priority: | NOR | ||
Version: | unspecified | ||
Target Milestone: | --- | ||
Platform: | Other | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Sentry Crash Report: |
Description
pf
2014-07-20 12:57:22 UTC
The setting you are looking for is: Application Style > Window Decorations > Configure Decoration > Border Size For the record... finally found it (4.11.4), well hidden, in Workspace Appearance > Window Decorations > Configure Decoration > General > Border Size where I found {No Border,No Side Borders,Tiny,Normal,Large,Very Large,Huge,Very Huge,Oversized} while almost missing it because I was searching for a numeric value... Thanks for the clue!! |