Prettiefied framed editor (fixes #212)