Several GUI fixes on the editor, plus new navigation bar buttons.