dittoMenuKDE
dittoMenuKDE copied to clipboard
Ditto seems to prevent panel from hiding itself
Hi, so as much as I like the design of ditto, it prevents my panel from hiding itself, which is quite irritating. Both setting the panel to auto-hide and windows can cover reproduces this issue for me. Removing or swapping ditto fixes the issue.
+1 bug still exists
Operating System: Kubuntu 23.10 KDE Plasma Version: 5.27.8 KDE Frameworks Version: 5.110.0 Qt Version: 5.15.10 Kernel Version: 6.5.0-17-generic (64-bit) Graphics Platform: X11