2456 |
two. show_help_echo uses this to detect popup menus. */ |
two. show_help_echo uses this to detect popup menus. */ |
2457 |
popup_activated_flag = 1; |
popup_activated_flag = 1; |
2458 |
/* Process events that apply to the menu. */ |
/* Process events that apply to the menu. */ |
2459 |
popup_widget_loop (0); |
popup_widget_loop (1); |
2460 |
|
|
2461 |
gtk_widget_destroy (menu); |
gtk_widget_destroy (menu); |
2462 |
|
|
2544 |
popup_activated_flag = 1; |
popup_activated_flag = 1; |
2545 |
|
|
2546 |
/* Process events that apply to the menu. */ |
/* Process events that apply to the menu. */ |
2547 |
popup_get_selection ((XEvent *) 0, FRAME_X_DISPLAY_INFO (f), menu_id, 0, 0); |
popup_get_selection ((XEvent *) 0, FRAME_X_DISPLAY_INFO (f), menu_id, 1, 0); |
2548 |
|
|
2549 |
/* fp turned off the following statement and wrote a comment |
/* fp turned off the following statement and wrote a comment |
2550 |
that it is unnecessary--that the menu has already disappeared. |
that it is unnecessary--that the menu has already disappeared. |