Various fixes making the editors more flexible, similar to a tabbed text
editor.