diff options
| author | Richard M. Stallman | 1995-12-26 00:22:04 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1995-12-26 00:22:04 +0000 |
| commit | 4fcff7b6ac771c3c818c809108f365e21577e332 (patch) | |
| tree | 6960e93616be8aea6f9c9ab333c9a2ffc46620c2 /src | |
| parent | fc82937b49d945064f7f8d1b2bf0c16ee1f67437 (diff) | |
| download | emacs-4fcff7b6ac771c3c818c809108f365e21577e332.tar.gz emacs-4fcff7b6ac771c3c818c809108f365e21577e332.zip | |
(XMenuActivate): Make sure the menu title is always
displayed with `msdos-menu-active-face', no matter where the mouse pointer is.
Diffstat (limited to 'src')
| -rw-r--r-- | src/msdos.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/msdos.c b/src/msdos.c index 5df46edf946..a8435d6ec26 100644 --- a/src/msdos.c +++ b/src/msdos.c | |||
| @@ -1712,6 +1712,7 @@ XMenuActivate (Display *foo, XMenu *menu, int *pane, int *selidx, | |||
| 1712 | int screensize; | 1712 | int screensize; |
| 1713 | int faces[4], selectface; | 1713 | int faces[4], selectface; |
| 1714 | int leave, result, onepane; | 1714 | int leave, result, onepane; |
| 1715 | int title_faces[4]; /* face to display the menu title */ | ||
| 1715 | 1716 | ||
| 1716 | /* Just in case we got here without a mouse present... */ | 1717 | /* Just in case we got here without a mouse present... */ |
| 1717 | if (have_mouse <= 0) | 1718 | if (have_mouse <= 0) |
| @@ -1736,12 +1737,17 @@ XMenuActivate (Display *foo, XMenu *menu, int *pane, int *selidx, | |||
| 1736 | faces[2] = compute_glyph_face (&the_only_frame, selectface, faces[0]); | 1737 | faces[2] = compute_glyph_face (&the_only_frame, selectface, faces[0]); |
| 1737 | faces[3] = compute_glyph_face (&the_only_frame, selectface, faces[1]); | 1738 | faces[3] = compute_glyph_face (&the_only_frame, selectface, faces[1]); |
| 1738 | 1739 | ||
| 1740 | /* Make sure the menu title is always displayed with | ||
| 1741 | `msdos-menu-active-face', no matter where the mouse pointer is. */ | ||
| 1742 | for (i = 0; i < 4; i++) | ||
| 1743 | title_faces[i] = faces[3]; | ||
| 1744 | |||
| 1739 | statecount = 1; | 1745 | statecount = 1; |
| 1740 | state[0].menu = menu; | 1746 | state[0].menu = menu; |
| 1741 | mouse_off (); | 1747 | mouse_off (); |
| 1742 | ScreenRetrieve (state[0].screen_behind = xmalloc (screensize)); | 1748 | ScreenRetrieve (state[0].screen_behind = xmalloc (screensize)); |
| 1743 | 1749 | ||
| 1744 | IT_menu_display (menu, y0 - 1, x0 - 1, faces); /* display the menu title */ | 1750 | IT_menu_display (menu, y0 - 1, x0 - 1, title_faces); /* display menu title */ |
| 1745 | if ((onepane = menu->count == 1 && menu->submenu[0])) | 1751 | if ((onepane = menu->count == 1 && menu->submenu[0])) |
| 1746 | { | 1752 | { |
| 1747 | menu->width = menu->submenu[0]->width; | 1753 | menu->width = menu->submenu[0]->width; |