rem: if (old_clip->auto_raise_lower)
add: if (old_clip->auto_raise_lower) { if (old_clip->auto_raise_magic) { WMDeleteTimerHandler(old_clip->auto_raise_magic); old_clip->auto_raise_magic = NULL; }
context: wClipUpdateForWorkspaceChange(WScreen *scr, int workspace){    if (!wPreferences.flags.noclip) {        scr->clip_icon->dock = scr->workspaces[workspace]->clip;        if (scr->current_workspace != workspace) {            WDock *old_clip = scr->workspaces[scr->current_workspace]->clip;            wDockHideIcons(old_clip);            if (old_clip->auto_raise_lower)                wDockLower(old_clip);            if (old_clip->auto_collapse && !old_clip->collapsed)                old_clip->collapsed = 1;            wDockShowIcons(scr->workspaces[workspace]->clip);        }	if (scr->flags.clip_balloon_mapped)	    showClipBalloon(scr->clip_icon->dock, workspace);    }}