https://mamchenkov.net/wordpress/2002/02/13/window-managers/