diff options
| -rw-r--r-- | lwlib/xlwmenu.c | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lwlib/xlwmenu.c b/lwlib/xlwmenu.c index e29060b3784..8c2d5c8b5f1 100644 --- a/lwlib/xlwmenu.c +++ b/lwlib/xlwmenu.c | |||
| @@ -1195,6 +1195,23 @@ make_windows_if_needed (mw, n) | |||
| 1195 | } | 1195 | } |
| 1196 | } | 1196 | } |
| 1197 | 1197 | ||
| 1198 | /* Value is non-zero if WINDOW is part of menu bar widget W. */ | ||
| 1199 | |||
| 1200 | int | ||
| 1201 | xlwmenu_window_p (w, window) | ||
| 1202 | Widget w; | ||
| 1203 | Window window; | ||
| 1204 | { | ||
| 1205 | XlwMenuWidget mw = (XlwMenuWidget) w; | ||
| 1206 | int i; | ||
| 1207 | |||
| 1208 | for (i = 0; i < mw->menu.windows_length; ++i) | ||
| 1209 | if (window == mw->menu.windows[i].window) | ||
| 1210 | break; | ||
| 1211 | |||
| 1212 | return i < mw->menu.windows_length; | ||
| 1213 | } | ||
| 1214 | |||
| 1198 | /* Make the window fit in the screen */ | 1215 | /* Make the window fit in the screen */ |
| 1199 | static void | 1216 | static void |
| 1200 | fit_to_screen (mw, ws, previous_ws, horizontal_p) | 1217 | fit_to_screen (mw, ws, previous_ws, horizontal_p) |