| Summary: | Add option to make margin seperator visible in panel | ||
|---|---|---|---|
| Product: | [Plasma] plasmashell | Reporter: | minelorderagon16 |
| Component: | general | Assignee: | Plasma Bugs List <plasma-bugs-null> |
| Status: | RESOLVED INTENTIONAL | ||
| Severity: | wishlist | CC: | kde, minelorderagon16, niccolo |
| Priority: | NOR | ||
| Version First Reported In: | master | ||
| Target Milestone: | 1.0 | ||
| Platform: | Other | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | ||
| Sentry Crash Report: | |||
|
Description
minelorderagon16
2024-09-11 20:42:08 UTC
Hi! This goes beyond the scope of the margin separator, which is exclusively meant for, well, managing margin areas. The margin separator, when not in edit mode, does not take any space; you should instead use a third party (visible) separator widget for this, as it should be able to make them arbitrarily small so that they don't take extra spacing. |