EdtMonitorPanel: improve splitter resizing