macOS UI concerns

[Dirk Hohndel]

I didn't quite manage to make the two screen shots the same size, but I think you can still see what I'm trying to talk about.
macOS (the first picture) has a LOT of unused (and frankly, ugly) white space between the widgets. 
Linux (KDE in case it matters) seems to be doing much better (in the second picture).

I don't know how much we want to tweak the OS/UI specific settings... but if someone has an easy solution to make this at least somewhat better on macOS, I'd appreciate it.

/D





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.subsurface-divelog.org/pipermail/subsurface/attachments/20190412/c4c0fd9a/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2019-04-12 at 10.05.47 AM.png
Type: image/png
Size: 205347 bytes
Desc: not available
URL: <http://lists.subsurface-divelog.org/pipermail/subsurface/attachments/20190412/c4c0fd9a/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2019-04-12 at 10.12.52 AM.png
Type: image/png
Size: 383036 bytes
Desc: not available
URL: <http://lists.subsurface-divelog.org/pipermail/subsurface/attachments/20190412/c4c0fd9a/attachment-0003.png>