diff options
| author | Richard M. Stallman | 1994-07-12 01:39:30 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1994-07-12 01:39:30 +0000 |
| commit | 575b5b9a196c47f492686e8ac4fe044b071550c8 (patch) | |
| tree | 54c5a7633d78819012f079eb6fa631025fbe3bd2 /src | |
| parent | 20cda85bbee25f4f1a65be480c88fb63ebae913d (diff) | |
| download | emacs-575b5b9a196c47f492686e8ac4fe044b071550c8.tar.gz emacs-575b5b9a196c47f492686e8ac4fe044b071550c8.zip | |
(xmenu_show): Don't call XtUngrabPointer here.
Diffstat (limited to 'src')
| -rw-r--r-- | src/xmenu.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/xmenu.c b/src/xmenu.c index 12b76516e8c..8eb1c14c368 100644 --- a/src/xmenu.c +++ b/src/xmenu.c | |||
| @@ -1626,10 +1626,12 @@ xmenu_show (f, x, y, menubarp, keymaps, title, error) | |||
| 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 | } |
| @@ -1702,10 +1704,12 @@ xmenu_show (f, x, y, menubarp, keymaps, title, error) | |||
| 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. */ |