convenient additions to the editor