In the past, I have always set the panel to auto-hide (KDE, Plasma 24.2 from Leap 15.4). But now I cannot find where to set that. Either the setting is gone, or moved.
My old setting for that still worked. But when I cleared out the new configuration to start over, I cannot find where to set it.
5.24.2 here in TW, right click panel -> enter edit mode -> more options -> visibility -> auto hide.
I get 2 hits searching for hide in files in ~/.config/, kwinrc & kglobalshortcutsrc, containing “PopupHideDelay=1000” in the former, and “Window No Border=none,Hide Window Border” in the latter. In ~/.local/, hide shows up only in mc files.
In 15.4, klauncher is segfaulting, blocking Plasma from starting. 
Thanks. I missed that “more options”.
I get 2 hits searching for hide in files in ~/.config/, kwinrc & kglobalshortcutsrc, containing “PopupHideDelay=1000” in the former, and “Window No Border=none,Hide Window Border” in the latter. In ~/.local/, hide shows up only in mc files.
Yes, I found those, but they did not look promising. There are also some “Visibility” lines in “plasmashellrc”, but I couldn’t get those to work for me.
In 15.4, klauncher is segfaulting, blocking Plasma from starting.
That’s no fun. Fortunately, I am not seeing that issue.
