diff options
| author | db <github@benedik.si> | 2018-04-15 08:24:04 +0200 |
|---|---|---|
| committer | db <github@benedik.si> | 2018-04-15 08:30:30 +0200 |
| commit | f555edf353a189c1879640b3169c5cc65701ae2c (patch) | |
| tree | 4a3ddb25d093bb5d584356764c4d9de4acdf16a5 /include/log.h | |
| parent | 3ea2a9a85e7db6e9858ccf68a67b312cd6db36c5 (diff) | |
remove empty workspace when focusing its output
Until now, focus changing code only considered cleaning up the last focused
workspace. This commit adds removal of empty workspace from output that just
received focus on a different workspace.
Fixes: #1797
Diffstat (limited to 'include/log.h')
0 files changed, 0 insertions, 0 deletions