From: Ingo Bürk Date: Thu, 15 Feb 2018 15:29:29 +0000 (+0100) Subject: Merge pull request #3135 from op8867555/update_ewmh_atoms X-Git-Tag: 4.15~12 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=6c99b712b66fce653d5ac89f48ab61700477bc04;p=i3%2Fi3 Merge pull request #3135 from op8867555/update_ewmh_atoms Update EWMH atoms when closing inactive workspace --- 6c99b712b66fce653d5ac89f48ab61700477bc04