Implement editor resizing (#42)