| Summary: | Pager widget doesn't highlight correct desktop when switching desktop with shortcut keys | ||
|---|---|---|---|
| Product: | [Unmaintained] plasma4 | Reporter: | Daniel Andre Eikeland <dae> |
| Component: | multiscreen | Assignee: | Plasma Bugs List <plasma-bugs-null> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | aseigo, notmart |
| Priority: | NOR | ||
| Version First Reported In: | unspecified | ||
| Target Milestone: | --- | ||
| Platform: | Compiled Sources | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | ||
| Sentry Crash Report: | |||
|
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 |