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 () |
gboolean | ide_gtk_show_uri_on_window () |
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
.
IdeWorkbench *
ide_widget_get_workbench (GtkWidget *widget
);
Gets the workbench widget
is associated with, if any.
If no workbench is associated, NULL is returned.