(module GtkButtonProps.ColorButton)