I’ve recently upgraded to 18.04. In this new version I cannot change the size of the icons in the Mutiny side panel. I’m also unable to make it auto-hide. Were those features removed from this version? If not, how can I make those changes? Thanks in advance.