Thank you for your reply!
mhertz' fix worked great.

Hi After the 1.3 release was removed from the 19.04 repos I have had problems with running it. It does not matter if I install older packages or build from source it does not work right. It connects to the server just fine, but some parts don't work. For example; when I click the preferences-icon it...