Graphics.UI.Gtk.MenuComboToolbar.ToolButton
data ToolButton
class ToolButtonClass o
castToToolButton
gTypeToolButton
toToolButton
toolButtonNew
toolButtonNewFromStock
toolButtonSetLabel
toolButtonGetLabel
toolButtonSetUseUnderline
toolButtonGetUseUnderline
toolButtonSetStockId
toolButtonGetStockId
toolButtonSetIconWidget
toolButtonGetIconWidget
toolButtonSetLabelWidget
toolButtonGetLabelWidget
toolButtonSetIconName
toolButtonGetIconName
toolButtonLabel
toolButtonUseUnderline
toolButtonLabelWidget
toolButtonStockId
toolButtonIconName
toolButtonIconWidget
onToolButtonClicked
afterToolButtonClicked