rem: wMenuSetEnabled(menu, MC_MOVERESIZE, !WFLAGP(wwin, no_resizable));
add: wMenuSetEnabled(menu, MC_MOVERESIZE, !WFLAGP(wwin, no_resizable) && !wwin->flags.miniaturized);
context: updateMenuForWindow(WMenu *menu, WWindow *wwin){    WApplication *wapp = wApplicationOf(wwin->main_window);    WScreen *scr = wwin->screen_ptr;    int i;    updateOptionsMenu(menu, wwin);    updateMakeShortcutMenu(menu, wwin);    wMenuSetEnabled(menu, MC_HIDE, wapp!=NULL 		    && !WFLAGP(wapp->main_window_desc, no_appicon));        wMenuSetEnabled(menu, MC_CLOSE, 		    (wwin->protocols.DELETE_WINDOW		     && !WFLAGP(wwin, no_closable)));    if (wwin->flags.miniaturized) {	static char *text = NULL;	if (!text) text = _("Deminiaturize");	menu->entries[MC_MINIATURIZE]->text = text;    } else {	static char *text = NULL;	if (!text) text = _("Miniaturize");	menu->entries[MC_MINIATURIZE]->text = text;    }    wMenuSetEnabled(menu, MC_MINIATURIZE, !WFLAGP(wwin, no_miniaturizable));    if (wwin->flags.maximized) {	static char *text = NULL;	if (!text) text = _("Unmaximize");	menu->entries[MC_MAXIMIZE]->text = text;    } else {	static char *text = NULL;	if (!text) text = _("Maximize");	menu->entries[MC_MAXIMIZE]->text = text;    }    wMenuSetEnabled(menu, MC_MOVERESIZE, !WFLAGP(wwin, no_resizable));    if (wwin->flags.shaded) {	static char *text = NULL;	if (!text) text = _("Unshade");	menu->entries[MC_SHADE]->text = text;    } else {	static char *text = NULL;	if (!text) text = _("Shade");	menu->entries[MC_SHADE]->text = text;    }    wMenuSetEnabled(menu, MC_SHADE, !WFLAGP(wwin, no_shadeable)		    && !wwin->flags.miniaturized);    wMenuSetEnabled(menu, MC_DUMMY_MOVETO, !IS_OMNIPRESENT(wwin));        if ((wwin->wm_class || wwin->wm_instance) && !wwin->flags.inspector_open) {	wMenuSetEnabled(menu, MC_PROPERTIES, True);    } else {	wMenuSetEnabled(menu, MC_PROPERTIES, False);    }        /* set the client data of the entries to the window */    for (i = 0; i < menu->entry_no; i++) {	menu->entries[i]->clientdata = wwin;    }    for (i = 0; i < scr->workspace_submenu->entry_no; i++) {	scr->workspace_submenu->entries[i]->clientdata = wwin;	if (i == scr->current_workspace) {	    wMenuSetEnabled(scr->workspace_submenu, i, False);	} else {	    wMenuSetEnabled(scr->workspace_submenu, i, True);	}    }    menu->flags.realized = 0;    wMenuRealize(menu);    }