mirror of
https://github.com/pikami/dwm.git
synced 2025-05-14 12:23:25 +01:00
focus() enforces visibility of a client if not NULL
This commit is contained in:
parent
ca68975ff8
commit
8e37c78ce3