Tileset editor: allow to reduce the size of the side widget.