


This section summarizes the functions constituting the current Mythryl Gtk binding, giving for each the Mythryl type and also (where available) the Gtk C function doing the actual work and a link to the Gtk project documentation for that function.
For further information see the full API spec: src/opt/gtk/src/gtk-client.api.
| Mythryl call | C call | URL | Type |
| add_kid | gtk_container_add | doc | session: Session, mom: Widget, kid: Widget -> Void |
| add_scrolled_window_kid | gtk_scrolled_window_add_with_viewport | doc | session: Session, window: Widget, kid: Widget -> Void |
| add_table_kid | gtk_table_attach_defaults | doc | session: Session, table: Widget, kid: Widget, left: Int, right: Int, top: Int, bottom: Int -> Void |
| add_table_kid’ | gtk_table_attach | doc | session: Session, table: Widget, kid: Widget, left: Int, right: Int, top: Int, bottom: Int, xoptions: List( Table_Attach_Option ), yoptions: List( Table_Attach_Option ), xpadding: Int, ypadding: Int -> Void |
| append_text_to_combo_box | gtk_combo_box_append_text | doc | (Session, Widget, String) -> Void |
| click_button | gtk_button_clicked | doc | (Session, Widget) -> Void |
| destroy_widget | gtk_widget_destroy | doc | (Session, Widget) -> Void |
| draw_drawable | gdk_draw_drawable | doc | session: Session, drawable: Widget, gcontext: Widget, from: Widget, from_x: Int, from_y: Int, to_x: Int, to_y: Int, wide: Int, high: Int -> Void |
| draw_rectangle | gdk_draw_rectangle | doc | session: Session, drawable: Widget, gcontext: Widget, filled: Bool, x: Int, y: Int, wide: Int, high: Int -> Void |
| drop_easy_id | (Session, String) -> Void | ||
| emit_changed_signal | g_signal_emit_by_name | doc | (Session, Widget) -> Void |
| enter_button | gtk_button_enter | doc | (Session, Widget) -> Void |
| exit_main | doc | Session -> Void | |
| fixed_move | gtk_fixed_move | doc | session: Session, layout: Widget, kid: Widget, x: Int, y: Int -> Void |
| fixed_put | gtk_fixed_put | doc | session: Session, layout: Widget, kid: Widget, x: Int, y: Int -> Void |
| get_adjustment_value | gtk_adjustment_get_value | doc | (Session, Widget) -> Float |
| get_black_graphics_context | gtk_widget->style->black_gc | (Session, Widget) -> Widget | |
| get_by_easy_id | (Session, String) -> Widget | ||
| get_current_background_graphics_context | gtk_widget->style->bg_gc[ GTK_WIDGET_STATE(gtk_widget) ] | (Session, Widget) -> Widget | |
| get_current_foreground_graphics_context | gtk_widget->style->fg_gc[ GTK_WIDGET_STATE(gtk_widget) ] | (Session, Widget) -> Widget | |
| get_scale_value_digits_shown | gtk_scale_get_digits | doc | (Session, Widget) -> Int |
| get_toggle_button_state | gtk_toggle_button_get_active | doc | (Session, Widget) -> Bool |
| get_viewport_horizontal_adjustment | gtk_viewport_get_hadjustment | doc | (Session, Widget) -> Widget |
| get_viewport_vertical_adjustment | gtk_viewport_get_vadjustment | doc | (Session, Widget) -> Widget |
| get_white_graphics_context | gtk_widget->style->white_gc | (Session, Widget) -> Widget | |
| get_widget_allocation | (Session, Widget) -> Allocation | ||
| get_widget_window | gtk_widget->window | (Session, Widget) -> Widget | |
| get_window_pointer | doc | (Session, Widget) -> x: Int, y: Int, modifiers: List(Modifier) | |
| layout_move | gtk_layout_move | doc | session: Session, layout: Widget, kid: Widget, x: Int, y: Int -> Void |
| layout_put | gtk_layout_put | doc | session: Session, layout: Widget, kid: Widget, x: Int, y: Int -> Void |
| leave_button | gtk_button_leave | doc | (Session, Widget) -> Void |
| main | doc | Session -> Void | |
| make_adjustment | gtk_adjustment_new | doc | session: Session, value: Float, lower: Float, upper: Float, step_increment: Float, page_increment: Float, page_size: Float -> Widget |
| make_arrow | gtk_arrow_new | doc | (Session, Arrow_Direction, Shadow_Style) -> Widget |
| make_button | gtk_button_new | doc | Session -> Widget |
| make_button_with_label | gtk_button_new_with_label | doc | (Session, String) -> Widget |
| make_button_with_mnemonic | gtk_button_new_with_mnemonic | doc | (Session, String) -> Widget |
| make_check_button | gtk_check_button_new | doc | Session -> Widget |
| make_check_button_with_label | gtk_check_button_new_with_label | doc | (Session, String) -> Widget |
| make_check_button_with_mnemonic | gtk_check_button_new_with_mnemonic | doc | (Session, String) -> Widget |
| make_combo_box | gtk_combo_box_new | doc | Session -> Widget |
| make_dialog | doc | Session -> dialog: Widget, vbox: Widget, action_area: Widget | |
| make_drawing_area | gtk_drawing_area_new | doc | Session -> Widget |
| make_event_box | gtk_event_box_new | doc | Session -> Widget |
| make_first_radio_button | gtk_radio_button_new | doc | Session -> Widget |
| make_first_radio_button_with_label | gtk_radio_button_new_with_label | doc | (Session, String) -> Widget |
| make_first_radio_button_with_mnemonic | gtk_radio_button_new_with_mnemonic | doc | (Session, String) -> Widget |
| make_fixed_container | gtk_fixed_new | doc | Session -> Widget |
| make_frame | gtk_frame_new | doc | (Session, String) -> Widget |
| make_horizontal_box | gtk_hbox_new | doc | (Session, Bool, Int) -> Widget |
| make_horizontal_button_box | gtk_hbutton_box_new | doc | Session -> Widget |
| make_horizontal_ruler | gtk_hruler_new | doc | Session -> Widget |
| make_horizontal_scale | gtk_hscale_new | doc | (Session, Null_Or(Widget)) -> Widget |
| make_horizontal_scale_with_range | gtk_hscale_new_with_range | doc | session: Session, min: Float, max: Float, step: Float -> Widget |
| make_horizontal_scrollbar | gtk_hscrollbar_new | doc | (Session, Null_Or(Widget)) -> Widget |
| make_horizontal_separator | gtk_hseparator_new | doc | Session -> Widget |
| make_image_from_file | gtk_image_new_from_file | doc | (Session, String) -> Widget |
| make_label | gtk_label_new | doc | (Session, String) -> Widget |
| make_layout_container | gtk_layout_new | doc | Session -> Widget |
| make_menu | gtk_menu_new | doc | Session -> Widget |
| make_menu_bar | gtk_menu_bar_new | doc | Session -> Widget |
| make_menu_item | gtk_menu_item_new | doc | Session -> Widget |
| make_menu_item_with_label | gtk_menu_item_new_with_label | doc | (Session, String) -> Widget |
| make_menu_item_with_mnemonic | gtk_menu_item_new_with_mnemonic | doc | (Session, String) -> Widget |
| make_next_radio_button | gtk_radio_button_new_from_widget | doc | (Session, Widget) -> Widget |
| make_next_radio_button_with_label | gtk_radio_button_new_with_label_from_widget | doc | (Session, Widget, String) -> Widget |
| make_next_radio_button_with_mnemonic | gtk_radio_button_new_with_mnemonic_from_widget | doc | (Session, Widget, String) -> Widget |
| make_option_menu | gtk_option_menu_new | doc | Session -> Widget |
| make_pixmap | gdk_pixmap_new | doc | session: Session, window: Widget, wide: Int, high: Int -> Widget |
| make_scrolled_window | gtk_scrolled_window_new | doc | session: Session, horizontal_adjustment: Null_Or(Widget), vertical_adjustment: Null_Or(Widget) -> Widget |
| make_session | doc | List( String ) -> Session | |
| make_status_bar | gtk_statusbar_new | doc | Session -> Widget |
| make_status_bar_context_id | gtk_statusbar_get_context_id | doc | (Session, Widget, String) -> Int |
| make_table | gtk_table_new | doc | session: Session, rows: Int, cols: Int, homogeneous: Bool -> Widget |
| make_text_combo_box | gtk_combo_box_new_text | doc | Session -> Widget |
| make_toggle_button | gtk_toggle_button_new | doc | Session -> Widget |
| make_toggle_button_with_label | gtk_toggle_button_new_with_label | doc | (Session, String) -> Widget |
| make_toggle_button_with_mnemonic | gtk_toggle_button_new_with_mnemonic | doc | (Session, String) -> Widget |
| make_vertical_box | gtk_vbox_new | doc | (Session, Bool, Int) -> Widget |
| make_vertical_button_box | gtk_vbutton_box_new | doc | Session -> Widget |
| make_vertical_ruler | gtk_vruler_new | doc | Session -> Widget |
| make_vertical_scale | gtk_vscale_new | doc | (Session, Null_Or(Widget)) -> Widget |
| make_vertical_scale_with_range | gtk_vscale_new_with_range | doc | session: Session, min: Float, max: Float, step: Float -> Widget |
| make_vertical_scrollbar | gtk_vscrollbar_new | doc | (Session, Null_Or(Widget)) -> Widget |
| make_vertical_separator | gtk_vseparator_new | doc | Session -> Widget |
| make_viewport | gtk_viewport_new | doc | session: Session, horizontal_adjustment: Null_Or(Widget), vertical_adjustment: Null_Or(Widget) -> Widget |
| make_window | gtk_window_new | doc | Session -> Widget |
| menu_bar_append | gtk_menu_bar_append | doc | session: Session, menu: Widget, kid: Widget -> Void |
| menu_shell_append | gtk_menu_shell_append | doc | session: Session, menu: Widget, kid: Widget -> Void |
| pack_box | gtk_box_pack_start | doc | session: Session, box: Widget, kid: Widget, pack: Pack_From, expand: Bool, fill: Bool, padding: Int -> Void |
| pop_down_combo_box | gtk_combo_box_popdown | doc | (Session, Widget) -> Void |
| pop_text_off_status_bar | gtk_statusbar_pop | doc | (Session, Widget, Int) -> Void |
| pop_up_combo_box | gtk_combo_box_popup | doc | (Session, Widget) -> Void |
| press_button | gtk_button_pressed | doc | (Session, Widget) -> Void |
| push_text_on_status_bar | gtk_statusbar_push | doc | (Session, Widget, Int, String) -> Int |
| queue_redraw | gtk_widget_queue_draw_area | doc | session: Session, widget: Widget, x: Int, y: Int, wide: Int, high: Int -> Void |
| quit_eventloop | doc | Session -> Void | |
| release_button | gtk_button_released | doc | (Session, Widget) -> Void |
| remove_text_from_status_bar | gtk_statusbar_remove | doc | session: Session, status_bar: Widget, context: Int, message: Int -> Void |
| run_eventloop_indefinitely | doc | Session -> Void | |
| run_eventloop_once | doc | session: Session, block_until_event: Bool -> Bool | |
| set_activate_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_adjustment_value | gtk_adjustment_set_value | doc | (Session, Widget, Float) -> Void |
| set_arrow | gtk_arrow_set | doc | (Session, Widget, Arrow_Direction, Shadow_Style) -> Void |
| set_border_width | gtk_container_set_border_width | doc | (Session, Widget, Int) -> Void |
| set_button_press_event_callback | g_signal_connect | doc | Session -> Widget -> Button_Event_Callback -> Void |
| set_button_release_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_clicked_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_client_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_combo_box_title | gtk_combo_box_set_title | doc | (Session, Widget, String) -> Void |
| set_configure_event_callback | g_signal_connect | doc | Session -> Widget -> Configure_Event_Callback -> Void |
| set_delete_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_destroy_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_draw_scale_value | gtk_scale_set_draw_value | doc | (Session, Widget, Bool) -> Void |
| set_easy_id | (Session, String, Widget) -> Void | ||
| set_enter_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_enter_notify_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_event_box_visibility | gtk_event_box_set_visible_window | doc | (Session, Widget, Bool) -> Void |
| set_expose_event_callback | g_signal_connect | doc | Session -> Widget -> Expose_Event_Callback -> Void |
| set_focus_in_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_focus_out_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_key_press_event_callback | g_signal_connect | doc | Session -> Widget -> Key_Event_Callback -> Void |
| set_key_release_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_label_justification | gtk_label_set_justify | doc | (Session, Widget, Justification) -> Void |
| set_label_line_wrapping | gtk_label_set_line_wrap | doc | (Session, Widget, Bool) -> Void |
| set_label_underlines | gtk_label_set_pattern | doc | (Session, Widget, String) -> Void |
| set_leave_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_leave_notify_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_map_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_minimum_widget_size | gtk_widget_set_size_request | doc | (Session, Widget, (Int,Int)) -> Void |
| set_motion_notify_event_callback | g_signal_connect | doc | Session -> Widget -> Motion_Event_Callback -> Void |
| set_no_expose_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_option_menu_menu | gtk_option_menu_set_menu | doc | session: Session, option_menu: Widget, menu: Widget -> Void |
| set_pressed_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_property_notify_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_proximity_in_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_proximity_out_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_range_update_policy | gtk_range_set_update_policy | doc | (Session, Widget, Update_Policy) -> Void |
| set_realize_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_release_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_ruler_metric | gtk_ruler_set_metric | doc | (Session, Widget, Metric) -> Void |
| set_ruler_range | gtk_ruler_set_range | doc | session: Session, ruler: Widget, lower: Float, upper: Float, position: Float, max_size: Float -> Void |
| set_scale_value_digits_shown | gtk_scale_set_digits | doc | (Session, Widget, Int) -> Void |
| set_scale_value_position | gtk_scale_set_value_pos | doc | (Session, Widget, Position_Type) -> Void |
| set_scroll_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_scrollbar_policy | gtk_scrolled_window_set_policy | doc | session: Session, window: Widget, horizontal_scrollbar: Scrollbar_Policy, vertical_scrollbar: Scrollbar_Policy -> Void |
| set_selection_clear_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_selection_notify_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_selection_request_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_table_col_spacing | gtk_table_set_col_spacing | doc | session: Session, table: Widget, col: Int, spacing: Int -> Void |
| set_table_col_spacings | gtk_table_set_col_spacings | doc | (Session, Widget, Int) -> Void |
| set_table_row_spacing | gtk_table_set_row_spacing | doc | session: Session, table: Widget, row: Int, spacing: Int -> Void |
| set_table_row_spacings | gtk_table_set_row_spacings | doc | (Session, Widget, Int) -> Void |
| set_text_tooltip_on_widget | gtk_widget_set_tooltip_text | doc | (Session, Widget, String) -> Void |
| set_toggle_button_state | gtk_toggle_button_set_active | doc | (Session, Widget, Bool) -> Void |
| set_toggled_callback | g_signal_connect | doc | Session -> Widget -> Bool_Callback -> Void |
| set_unmap_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_value_changed_callback | g_signal_connect | doc | Session -> Widget -> Float_Callback -> Void |
| set_widget_alignment | gtk_misc_set_alignment | doc | session: Session, widget: Widget, x: Float, y: Float -> Void |
| set_widget_events | gtk_widget_set_events | doc | (Session, Widget, List( Event_Mask )) -> Void |
| set_widget_name | gtk_widget_set_name | doc | (Session, Widget, String) -> Void |
| set_widget_tree | (Session, Widget) -> Void | ||
| set_window_default_size | gtk_window_set_default_size | doc | (Session, Widget, (Int,Int)) -> Void |
| set_window_state_event_callback | g_signal_connect | doc | Session -> Widget -> Void_Callback -> Void |
| set_window_title | gtk_window_set_title | doc | (Session, Widget, String) -> Void |
| show_widget | gtk_widget_show | doc | (Session, Widget) -> Void |
| show_widget_tree | gtk_widget_show_all | doc | (Session, Widget) -> Void |
| unref_object | doc | (Session, Widget) -> Void |


