Will Pt_ARG_BUTTON_TYPE ever support a ‘toggle’ type button? Or will
Pt_ARG_ACCEL_FONT/TEXT ever be moved to PtLabel? If so, when?
Reason for asking is that we have some menus that contain toggle button
widgets. For those, we must use PtToggleButton instead of PtMenuButton.
This means that we can use Pt_ARG_ACCEL_KEY (and other PtLabel attributes)
for these buttons, but not Pt_ARG_ACCEL_FONT/TEXT. It would be nice to know
if/when this will change.