Add a button to hide contact list for better discoverability
Issue
There's a hotkey Ctrl + r
to hide the contact list, but it's not very discoverable. A button similar to the already existing Hide / show participant list
would help a lot.
Setup
Gajim 1.4.5