rem: static void wsobserver(void *self, WMNotification *notif)
add: wsobserver(void *self, WMNotification *notif)
context: static void wsobserver(void *self, WMNotification *notif){    WScreen *scr = (WScreen*)WMGetNotificationObject(notif);    const char *name = WMGetNotificationName(notif);    void *data = WMGetNotificationClientData(notif);    if (strcmp(name, WMNWorkspaceNameChanged) == 0) {	UpdateSwitchMenuWorkspace(scr, (int)data);    } else if (strcmp(name, WMNWorkspaceChanged) == 0) {	    }}