| accel_group | vgui_gtk_utils | [static] |
| add_submenu(GtkWidget *widget, const vgui_menu &menu) | vgui_gtk_utils | [static] |
| is_modifier(GdkEvent const *gev) | vgui_gtk_utils | [static] |
| set_coordinates(vgui_event &e, const gdouble x, const gdouble y) | vgui_gtk_utils | [static] |
| set_menu(GtkWidget *widget, const vgui_menu &menu, bool is_menubar=false) | vgui_gtk_utils | [static] |
| set_modifiers(vgui_event &e, const guint state) | vgui_gtk_utils | [static] |
| translate_button(int button) | vgui_gtk_utils | [static] |
| translate_key(GdkEventKey const *gev) | vgui_gtk_utils | [static] |
1.7.5.1