La liste montre le contenu étiquetté avec l'étiquette suivante:
Pour ajouter une étiquette aux étiquettes requises, choisissez « + labelname » dans Étiquettes associées.
-
-
Properties of the PUSH BUTTON Object
- action_move_bottom_side
- action_move_left_side
- action_move_right_side
- action_move_top_side
- active
- width
- pushbutton
- visibility
- text
- font
- group_beginning
- height
- horizontal_adjustment
- name
- tab_stop
- vertical_adjustment
- x_axis
- y_axis
- multiline
- default_button
- help_button
- tooltip_active
- tooltip_background_color
- tooltip_bottom_margin
- tooltip_center_adjust
- tooltip_delete_ampersand
- tooltip_display_duration
- tooltip_font
- tooltip_left_margin
- tooltip_max_width
- tooltip_permanently_active
- tooltip_right_margin
- tooltip_text
- tooltip_text_color
- tooltip_time_before_appearance
- tooltip_top_margin
- css_background_color_hover
- css_background_color_disabled
- css_background_color_active
- css_background_color
- css_border_width
- css_border_style
- css_border_radius
- css_border_color
- css_color_hover
- css_color_disabled
- css_color_active
- css_color
- css_padding
- spacing
- display
- icon_width
- icon_height
-
-