workspace_to_workspaces
uint32 workspace = workspace_to_workspaces(i);
uint32 workspaces = workspace_to_workspaces(fCurrentWorkspace);
workspaces = workspace_to_workspaces(CurrentWorkspace());
window->SetWorkspaces(workspace_to_workspaces(CurrentWorkspace()));