set editor font size to 12