| 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-null |
| Priority: | NOR | ||
| Version First Reported In: | unspecified | ||
| Target Milestone: | --- | ||
| Platform: | Other | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented 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!!
|