From: Ingo Bürk Date: Thu, 12 Jul 2018 04:27:56 +0000 (+0200) Subject: Merge pull request #3327 from orestisf1993/rename-mouse-bug X-Git-Tag: 4.16~69 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=dbf4e1b95d1566a16a7838f97b15106851c964e9;p=i3%2Fi3 Merge pull request #3327 from orestisf1993/rename-mouse-bug cmd_rename_workspace: always call con_focus --- dbf4e1b95d1566a16a7838f97b15106851c964e9