Inconsistent button size in panels

Rhino Rhino for Mac
,
1

hi—

ive noticed (in rhino 8 + wip), the ‘properties’ panel has much larger buttons than the others.

there seems no way to adjust this.

it feels cumbersome esp. when the toolbar is thinner and the buttons stack (pictured) and take up space

is there a chance of this being adjusted, or (b) a way to do so myself and/or (c) like that for a reason?

screenshot 408
screenshot 408546×522 84 KB

thanks

2

Thank you for your report, and this is a known issue.

RH-69796 Panels: Buttons in panels cannot be resized