https://bugs.kde.org/show_bug.cgi?id=464774
--- Comment #7 from Moritz <bixi...@bixilon.de> --- > No because then the panel would look broken with that theme, and you would > file a bug on that instead. :) Yes, users could do. I never made a bug report with theming issues, that should be reported to the theme creator. How about an option in `plasmashellrc` that is only available when editing the file? Could look like this: ``` [PlasmaViews][Panel 3][Defaults] thickness=28 ignoreMinThickness=1 ``` It sounds minor, but acutally I feel kind of disturbed by the taskbar. I normally don't use it, only to check the clock and maybe do wifi settings. I'd love to use autohide, but that is bugged in some circumstances, I please you to add it this small feature. Thanks! (Commit: https://invent.kde.org/plasma/plasma-desktop/-/commit/0910a8b17095700fbed0a4fe1980d012336f6505, bug: https://bugs.kde.org/show_bug.cgi?id=461506). -- You are receiving this mail because: You are watching all bug changes.
