Symbol: workspace_in_workspaces
src/servers/app/Desktop.cpp
1863
if (!workspace_in_workspaces(i, window->Workspaces()))
src/servers/app/Desktop.cpp
3270
if (workspace_in_workspaces(i, oldWorkspaces)) {
src/servers/app/Desktop.cpp
3272
if (!workspace_in_workspaces(i, newWorkspaces)) {
src/servers/app/Desktop.cpp
3287
if (workspace_in_workspaces(i, newWorkspaces)) {