Hi! Please, is it possible to change (and allow) smaller width(s) of the undo/redo plugin? When it happens to work with a small monitor I want to give less space to the layer/overview panel(s) but the undo/redo panel (when present) is on the way! Should I file a ticket? Thanks, Nikos