get-default-button-height

   

Returns the real height of the button (bitmap height plus the extra for 3D effects).

• (send a-wx:button-bar get-default-button-height) -> inexact real