Change the font used for the editor back to a propartional font

Apparently, the problem happens with fixed width fonts too.