headers/os/interface/InterfaceDefs.h

488

void activate_workspace(int32 workspace);

src/apps/deskbar/Switcher.cpp

940

activate_workspace(destWorkspace);

src/apps/workspaces/Workspaces.cpp

1068

activate_workspace(atoi(argv[i]));

src/apps/workspaces/Workspaces.cpp

1076

activate_workspace(current_workspace() - 1);

src/apps/workspaces/Workspaces.cpp

1081

activate_workspace(current_workspace() + 1);

src/apps/workspaces/Workspaces.cpp

541

activate_workspace(current_workspace() + 1);

src/apps/workspaces/Workspaces.cpp

543

activate_workspace(current_workspace() - 1);

src/kits/game/WindowScreen.cpp

547

activate_workspace(fDebugWorkspace);

src/kits/game/WindowScreen.cpp

653

activate_workspace(fDebugWorkspace);

src/tests/servers/app/workspace_switcher/workspace_switcher.cpp

23

activate_workspace(0);

src/tests/servers/app/workspace_switcher/workspace_switcher.cpp

25

activate_workspace(1);

src/tests/servers/app/workspace_switcher/workspace_switcher.cpp

31

activate_workspace(strtoul(argv[i], NULL, 0));