Replacing a hard-coded font size with font style widget size so it can be set by user. Differential Revision: https://developer.blender.org/D10819 Reviewed by Dalai Felinto
Replacing a hard-coded font size with font style widget size so it can be set by user. Differential Revision: https://developer.blender.org/D10819 Reviewed by Dalai Felinto