setting of font, size, and line numbering for editor