Summary: | Pager widget doesn't highlight correct desktop when switching desktop with shortcut keys | ||
---|---|---|---|
Product: | [Plasma] plasma4 | Reporter: | Daniel Andre Eikeland <dae> |
Component: | multiscreen | Assignee: | Plasma Bugs List <plasma-bugs> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | aseigo, notmart |
Priority: | NOR | ||
Version: | unspecified | ||
Target Milestone: | --- | ||
Platform: | Compiled Sources | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: |
Description
Daniel Andre Eikeland
2008-07-09 12:19:45 UTC
Additional info - this only happens when my mouse is on the second screen (I have a dual-screen setup). If my mouse is on the first screen, it works as expected. there's another pretty similar problem happening here: when I move a window across the desktop border (active window borders are activated) the pager doesn't get updated so the window is shown twice (where it was before and after the move). If I hover the desktop in the pager it get's refreshed. Happens on a compiled trunk from yesterday. bernhard: I see that too, sometimes; maybe it should be reported in a separate BR...? I can reproduce the original problem here, with one monitor, but it very rarely happens. both problems don't happen anymore in svn |