more compact editor.