A small plugin designed to resize the editor's user interface