| 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
.
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.