どれ使ってもウィンドウマネージャの選択肢はそんなに多くないような気が