Preferences Window is huge
I am trying to run Pan 0.145 on Ubuntu 19.04 with the default Gnome desktop; however, I run into the problem that the preferences window is HUGE, meaning it spans all of my three screens:
That wouldn't be so bad, but for some reason the window is not resizable, making it impossible to change any preferences. And I want to configure pan - if possible - to just download all group headers without asking everytime I am entering a group, because this is really annoying.
Any workaround for this?