| 394 GtkWidget *menu, *item; |
394 GtkWidget *menu, *item; |
| 395 const char *text[3]; |
395 const char *text[3]; |
| 396 GtkToolbarStyle value[3]; |
396 GtkToolbarStyle value[3]; |
| 397 int i; |
397 int i; |
| 398 |
398 |
| 399 if (!(event->button == 3 && event->type == GDK_BUTTON_PRESS)) |
399 if (!gdk_event_triggers_context_menu((GdkEvent *)event)) |
| 400 return FALSE; |
400 return FALSE; |
| 401 |
401 |
| 402 text[0] = _("_Icon Only"); value[0] = GTK_TOOLBAR_ICONS; |
402 text[0] = _("_Icon Only"); value[0] = GTK_TOOLBAR_ICONS; |
| 403 text[1] = _("_Text Only"); value[1] = GTK_TOOLBAR_TEXT; |
403 text[1] = _("_Text Only"); value[1] = GTK_TOOLBAR_TEXT; |
| 404 text[2] = _("_Both Icon & Text"); value[2] = GTK_TOOLBAR_BOTH_HORIZ; |
404 text[2] = _("_Both Icon & Text"); value[2] = GTK_TOOLBAR_BOTH_HORIZ; |