Aleix Pol edcf70c263 taskpanel: Also add margins when the buttons are on the side (landscape) ... Otherwise they look rather grotesque		2021-08-27 22:01:07 +02:00
..
config	add missing files	2017-09-05 17:09:50 +02:00
ui	taskpanel: Also add margins when the buttons are on the side (landscape)	2021-08-27 22:01:07 +02:00