diff options
| author | Thomas Lübking <thomas.luebking@gmail.com> | 2016-06-28 15:33:03 (GMT) |
|---|---|---|
| committer | Mathias Gumz <akira@fluxbox.org> | 2016-07-01 17:41:16 (GMT) |
| commit | 9dccccb84df930eca0e74a96d18b0cee36a3e216 (patch) | |
| tree | f06e0f8dec18794c0b0726bb92f2d9b61dacdce7 /src/Ewmh.hh | |
| parent | 0951134cedd15e456e638b029497669c51bd36a7 (diff) | |
| download | fluxbox-9dccccb84df930eca0e74a96d18b0cee36a3e216.zip fluxbox-9dccccb84df930eca0e74a96d18b0cee36a3e216.tar.bz2 | |
ensure to update the current client tab from menu
the menu focuses which tries to set the current tab, but fails because
the iconified client won't have the input focus (yet), so we pass it a
dedicated "set this client and do not try to set input because we're
going to do next anyway explicitly" call =)
BUG: 997
Diffstat (limited to 'src/Ewmh.hh')
0 files changed, 0 insertions, 0 deletions