D'Oh!
gui: fix side panel min size with gtk3