Add some methods to satisfy editr widget interface