Hello everyone,
More information: I’m missing:
- the ruler with the handles to resize the width of the panel
- the “More options” items “Default”, “Size/width/height/thicknes” or whatever it’s supposed to be named
- the possibility to check/uncheck the “maximize panel” option
- any mention of these size parameters in
~/.config/plasma-org.kde.plasma.desktop-appletsrc.
It would help a lot if someone knew how to achieve any size for the panel through editing the config file, in the event where no one can guess why I’m missing these options in the GUI… Any help would be great!
By the way, I have the same problem on 2 different Manjaro/Plasma 5 laptops, which makes me think this issue should be easily reproced… Or at least it shows that it is probably not just a bug but rather a config issue.
Thanks!