]> git.sur5r.net Git - i3/i3/commitdiff
projects / i3 / i3 / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e9abc06 147d3c3)
Merge pull request #3135 from op8867555/update_ewmh_atoms
authorIngo Bürk <admin@airblader.de>
Thu, 15 Feb 2018 15:29:29 +0000 (16:29 +0100)
committerGitHub <noreply@github.com>
Thu, 15 Feb 2018 15:29:29 +0000 (16:29 +0100)
Update EWMH atoms when closing inactive workspace


Trivial merge
A better tiling and dynamic window manager