Marco Martin a0be58c595 close switcher when no windows are open ... when the last window is closed, close the task switcher		2016-09-02 17:38:24 +02:00
..
ui	close switcher when no windows are open	2016-09-02 17:38:24 +02:00