gui: Add editor font configuration

Signed-off-by: Michael Buesch <m@bues.ch>