Manolis Papadeas 68414f5bd9 Made pixel perfect into a global tool option ... More global tool options will most likely be added soon, most notably tablet pen pressure sensitivity options.		2022-02-28 19:24:14 +02:00
..
fonts	Remove unneeded font changing code	2021-12-03 02:39:10 +02:00
graphics	Made pixel perfect into a global tool option	2022-02-28 19:24:14 +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