diff options
author | Anton Khirnov <anton@khirnov.net> | 2020-06-13 10:30:56 +0200 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2020-06-13 10:30:56 +0200 |
commit | 0ded3ecd3bb65b37602e2ad06d657b47dd3025e7 (patch) | |
tree | 58e00ab1a6d567b9e777a93482e0fd10b9c9d306 /pager.lua | |
parent | 044a445cdc2f25f9f069eb95113812cd19f1c0fe (diff) |
workspace: avoid unnecessary page stealing
When switching to a different desktop, the current code would use the
last-used tag even if it is currently displayed. Instead, keep a
per-desktop stack of free tags and pick the first of those.
Diffstat (limited to 'pager.lua')
0 files changed, 0 insertions, 0 deletions