Previously RemoteDock was not resizeable too small due to all the
widgets (which have minimum size)

Now with QScrollArea a vertical scroll bar appears if needed allowing
MainWindow too be smaller

I've tested the changes and I see now that the problem was specifically with the Current Database tab inside the Remote dock. It is not easy to make it shrink using an alternative approach, as I recommended in #2513 (comment) , because it would require major changes to the layout in this tab. I don't oppose merging this change, but I will add @MKleusberg as reviewer, as he is the author of this latest changes and might have another idea.

Thanks, @cpina, for the changes and thanks, @mgrojo, for the analysis! I think this is the right approach here. Since the widgets in this tab mostly can't be made smaller, I think we need to introduce a scrollbar somewhere. And I believe for the user this is the most easy to understand location.