change font for gui editors