add: }
context: appearanceObserver(void *self, WMNotification *notif){    WMenu *menu = (WMenu*)self;    int flags = (int)WMGetNotificationClientData(notif);    if (!menu->flags.realized)	return;        if (WMGetNotificationName(notif) == WNMenuAppearanceSettingsChanged) {	if (flags & WFontSettings) {	    menu->flags.realized = 0;	    wMenuRealize(menu);	}	if (flags & WTextureSettings) {	    updateTexture(menu);	}	if (flags & (WTextureSettings|WColorSettings)) {	    wMenuPaint(menu);	}    } else if (menu->flags.titled) {	if (flags & WFontSettings) {	    menu->flags.realized = 0;	    wMenuRealize(menu);	}	if (flags & WTextureSettings) {	    menu->frame->flags.need_texture_remake = 1;	}	if (flags & (WColorSettings|WTextureSettings))	    wFrameWindowPaint(menu->frame);    }}