25.1 Increase/Descrease editor font size. Partly