add: new_width -= wPreferences.icon_size + DOCK_EXTRA_SPACE; if (!wwin->screen_ptr->dock->on_right_side) new_x += wPreferences.icon_size + DOCK_EXTRA_SPACE; } #endif if (wwin->screen_ptr->dock && !wwin->screen_ptr->dock->lowered) {
context: wMaximizeWindow(WWindow *wwin, int directions){    int new_width, new_height, new_x, new_y;    if (wwin->flags.shaded) {	wwin->flags.skip_next_animation = 1;	wUnshadeWindow(wwin);    }    wwin->flags.maximized = directions;    wwin->old_geometry.width = wwin->client.width;    wwin->old_geometry.height = wwin->client.height;    wwin->old_geometry.x = wwin->frame_x;    wwin->old_geometry.y = wwin->frame_y;    if (directions & MAX_HORIZONTAL) {	new_width = wwin->screen_ptr->scr_width-FRAME_BORDER_WIDTH*2;		new_x = 0;	if ((wPreferences.icon_yard & IY_VERT) 	    && wPreferences.no_window_over_icons) {	    new_width -= wPreferences.icon_size;	    if (!(wPreferences.icon_yard & IY_RIGHT))		new_x += wPreferences.icon_size;	}		if (wPreferences.no_window_under_dock	    && wwin->screen_ptr->dock) {	    new_width -= wPreferences.icon_size + DOCK_EXTRA_SPACE;	    if (!wwin->screen_ptr->dock->on_right_side) 		new_x += wPreferences.icon_size + DOCK_EXTRA_SPACE;	}    } else {	new_x = wwin->frame_x;	new_width = wwin->frame->core->width;    }    if (directions & MAX_VERTICAL) {	new_height = wwin->screen_ptr->scr_height-FRAME_BORDER_WIDTH*2;	new_y = 0;		if (!(wPreferences.icon_yard & IY_VERT)	    && wPreferences.no_window_over_icons) {	    new_height -= wPreferences.icon_size;	    	    if (wPreferences.icon_yard & IY_TOP)		new_y += wPreferences.icon_size;	}    } else {	new_y = wwin->frame_y;	new_height = wwin->frame->core->height;    }    new_height -= wwin->frame->top_width+wwin->frame->bottom_width;    wWindowConstrainSize(wwin, &new_width, &new_height);    wWindowConfigure(wwin, new_x, new_y, new_width, new_height);#ifdef WMSOUND    wSoundPlay(WMSOUND_MAXIMIZE);#endif}