diff options
| author | Mikael Magnusson <mikachu@comhem.se> | 2008-01-05 12:40:46 +0100 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2008-01-11 16:37:23 -0500 |
| commit | b3764dd433f8e8511bf3045e4ea5e0e5df6b2a70 (patch) | |
| tree | 4a817529bb263975b46c34a1d33e917d52c2657e /render/theme.h | |
| parent | e61f58462fe0cdd85090b621c6906b2885990071 (diff) | |
Don't record desktops for lastdesktop when switching away quickly again.
When switching desktops, only record the previous desktop as the last
desktop if the user stayed there for a while. This way you can scroll
over a couple desktops quickly, then go back to the previous desktop
you _used_, not the last you scrolled past.
Diffstat (limited to 'render/theme.h')
0 files changed, 0 insertions, 0 deletions