Top | ![]() |
![]() |
![]() |
![]() |
void | (*IdeWidgetContextHandler) () |
void | ide_widget_set_context_handler () |
IdeContext * | ide_widget_get_context () |
IdeWorkbench * | ide_widget_get_workbench () |
void | ide_widget_message () |
void | ide_widget_warning () |
void (*IdeWidgetContextHandler) (GtkWidget *widget
,IdeContext *context
);
void ide_widget_set_context_handler (gpointer widget
,IdeWidgetContextHandler handler
);
Calls handler
when the IdeContext has been set for widget
.
widget |
a GtkWidget. |
[type Gtk.Widget] |
handler |
A callback to handle the context. |
[scope async] |
IdeWorkbench *
ide_widget_get_workbench (GtkWidget *widget
);
Gets the workbench widget
is associated with, if any.
If no workbench is associated, NULL is returned.