void Windowmenu::SendtoWorkspacemenu::update(void) {
unsigned int i, r = getCount(),
workspace_count = getScreen()->getWorkspaceCount();
void Windowmenu::SendtoWorkspacemenu::update(void) {
unsigned int i, r = getCount(),
workspace_count = getScreen()->getWorkspaceCount();