issue #21: back button for the editor