3 commits

Author	SHA1	Message	Date
bruvzg	ebbc25e89c	Ignore empty Font resources as theme override. ... Add range hint to font_size properties. Remove excessive `base_size` Font property.	2021-10-25 14:05:37 +03:00
Yuri Sizov	d82ec336d9	Fix control picker in the Theme editor	2021-07-16 21:32:58 +03:00
Yuri Sizov	d0e86c7afc	Overhaul the theme editor and improve user experience	2021-06-14 21:46:30 +03:00