Update ewmh focused only when new focus is different (#3496)
Fixes #3495.
This commit is contained in:
committed by
Michael Stapelberg
parent
a0105dd2f2
commit
dc16df439e
Reference in New Issue
Block a user