Issue #140: added EditorState class, used to simplify Command constructors