Fix #58, where interface broke if rich text editing was off