Hi all,

(see attached screenshot)

This is probably the NS backend rendering things x2 in a HiDPI screen,
so the "too big" part doesn't necessarily mean bigger than usual but:

* Considering that the toolbar is part of the titlebar in this port.

* Considering that scaling x2 pixelates the icons.

Wouldn't it be better if it weren't scaled at all, so that we don't have
a huge title bar with low res icons? I don't know how difficult it is to
request a different scaling factor for these icons, but if it's feasible
without a significant amount of effort I believe it's worth it.

Best regards,
Carlos