Eduardo Flores 56b35ca00d Add padding to the header bar		2022-10-06 22:00:04 -07:00
..
cosmic	Add padding to the header bar	2022-10-06 22:00:04 -07:00
text	Remove prints	2022-10-06 16:13:44 -06:00