Eduardo Flores f5ccd15761 Add padding to the header bar		2022-10-07 14:06:27 +02:00
..
cosmic	Add padding to the header bar	2022-10-07 14:06:27 +02:00
text	Remove prints	2022-10-06 16:13:44 -06:00