Marco Martin 5717c71a82 use the window color to dim		2019-09-18 15:52:42 +02:00
..
code	merge quicksettings and the panel	2017-09-14 21:03:56 +02:00
config	Add a shutdown button in the top drawer	2019-02-06 18:26:48 +01:00
ui	use the window color to dim	2019-09-18 15:52:42 +02:00