I confirm that the fix worked well on my Xubuntu 20.04 installation and I can resize the settings manager window as expected.
I confirm that the fix worked well on my Xubuntu 20.04 installation and I can resize the settings manager window as expected.