]> git.sur5r.net Git - i3/i3/commitdiff
projects / i3 / i3 / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4808334 d1652ca)
Merge pull request #3327 from orestisf1993/rename-mouse-bug
authorIngo Bürk <admin@airblader.de>
Thu, 12 Jul 2018 04:27:56 +0000 (06:27 +0200)
committerGitHub <noreply@github.com>
Thu, 12 Jul 2018 04:27:56 +0000 (06:27 +0200)
cmd_rename_workspace: always call con_focus


Trivial merge
A better tiling and dynamic window manager