The Editor class will be replaced in #536 with one or two classes which have that better done. So let's just keep this as is.