Mercurial > emacs
comparison src/xmenu.c @ 8213:53a82f01e723
(xmenu_show): Don't call XtUngrabPointer here.
| author | Richard M. Stallman <rms@gnu.org> |
|---|---|
| date | Tue, 12 Jul 1994 01:39:30 +0000 |
| parents | c3bc5fca374f |
| children | 7fa23d45ccfd |
comparison
equal
deleted
inserted
replaced
| 8212:a8ed7164a837 | 8213:53a82f01e723 |
|---|---|
| 1624 if (check_mouse_other_menu_bar (f)) | 1624 if (check_mouse_other_menu_bar (f)) |
| 1625 { | 1625 { |
| 1626 /* The mouse moved into a different menu bar item. | 1626 /* The mouse moved into a different menu bar item. |
| 1627 We should bring up that item's menu instead. | 1627 We should bring up that item's menu instead. |
| 1628 First pop down this menu. */ | 1628 First pop down this menu. */ |
| 1629 #if 0 /* xlwmenu.c now does this. */ | |
| 1629 XtUngrabPointer ((Widget) | 1630 XtUngrabPointer ((Widget) |
| 1630 ((XlwMenuWidget) | 1631 ((XlwMenuWidget) |
| 1631 ((CompositeWidget)menu)->composite.children[0]), | 1632 ((CompositeWidget)menu)->composite.children[0]), |
| 1632 CurrentTime); | 1633 CurrentTime); |
| 1634 #endif | |
| 1633 lw_destroy_all_widgets (menu_id); | 1635 lw_destroy_all_widgets (menu_id); |
| 1634 goto pop_down; | 1636 goto pop_down; |
| 1635 } | 1637 } |
| 1636 #endif | 1638 #endif |
| 1637 | 1639 |
| 1700 if (other_menu_bar_item_p (f, event_x, event_y)) | 1702 if (other_menu_bar_item_p (f, event_x, event_y)) |
| 1701 { | 1703 { |
| 1702 /* The mouse moved into a different menu bar item. | 1704 /* The mouse moved into a different menu bar item. |
| 1703 We should bring up that item's menu instead. | 1705 We should bring up that item's menu instead. |
| 1704 First pop down this menu. */ | 1706 First pop down this menu. */ |
| 1707 #if 0 /* xlwmenu.c now does this. */ | |
| 1705 XtUngrabPointer ((Widget) | 1708 XtUngrabPointer ((Widget) |
| 1706 ((XlwMenuWidget) | 1709 ((XlwMenuWidget) |
| 1707 ((CompositeWidget)menu)->composite.children[0]), | 1710 ((CompositeWidget)menu)->composite.children[0]), |
| 1708 event.xbutton.time); | 1711 event.xbutton.time); |
| 1712 #endif | |
| 1709 lw_destroy_all_widgets (menu_id); | 1713 lw_destroy_all_widgets (menu_id); |
| 1710 | 1714 |
| 1711 /* Put back an event that will bring up the other item's menu. */ | 1715 /* Put back an event that will bring up the other item's menu. */ |
| 1712 unread_menu_bar_button (f, event_x); | 1716 unread_menu_bar_button (f, event_x); |
| 1713 /* Don't let us select anything in this case. */ | 1717 /* Don't let us select anything in this case. */ |