Manolis Papadeas b316cadfb8 Separate global tool options from the color pickers		2022-02-28 18:59:30 +02:00
..
fonts	Remove unneeded font changing code	2021-12-03 02:39:10 +02:00
graphics	Fix mirror button textures having the opposite file name	2022-02-26 19:50:43 +02:00
layouts	Separate global tool options from the color pickers	2022-02-28 18:59:30 +02:00
themes	Add a clear_color property to the themes	2022-02-21 18:44:46 +02:00