fixes to make the text editor widget used mono space fonts