editor font. This should not affect current customized font selections. Patch by Mark Roseman.
Attach a file by drag & drop or click to upload
