Editor: fix some details in text editor.