Summary: | panel doesn't autohide after using the global menu | ||
---|---|---|---|
Product: | [Plasma] plasmashell | Reporter: | PK <pieterkristensen> |
Component: | Panel | Assignee: | Plasma Bugs List <plasma-bugs> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | kde |
Priority: | NOR | ||
Version: | 5.10.4 | ||
Target Milestone: | 1.0 | ||
Platform: | Other | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Attachments: | top panel doesn't autohide |
Description
PK
2017-08-08 07:32:35 UTC
Sorry for the typo: It should read; But when I touch the global menu and after that close Dolphin the panel doesn't autohide. I changed autohide and global menu for 5.11 I can't reproduce this bug myself. Can you test when you get 5.11 and reopen if it's still an issue. Thank you for the great work! It is easy to see that the whole thing behaves a lot better in 5.11. But e.g. with Krusader and global menu widget (active) the upper panel shows up unwanted sometimes and it remains too long after being used. But it all became much better. Created attachment 108071 [details]
top panel doesn't autohide
As you can see in my attachment my top-panel often won't autohide again this morning. And I configured it to autohide. The whole thing feels very buggy. When I try to arrange the widgets of the top-panel in a different way plasma-wayland crashes all the time.
And the global menu won't do anything at all (under plasma-wayland). I am using Neon Developers edition (plasma 5.11.90)
|