src/servers/app/Desktop.cpp

802

= fWorkspaces[workspace].CurrentScreenConfiguration().CurrentByID(

src/servers/app/Desktop.cpp

853

= fWorkspaces[workspace].CurrentScreenConfiguration().CurrentByID(id);

src/servers/app/Desktop.cpp

885

= fWorkspaces[workspace].CurrentScreenConfiguration().CurrentByID(id);

src/servers/app/Desktop.cpp

916

.StoredScreenConfiguration().CurrentByID(screen->ID());

src/servers/app/Desktop.cpp

918

.CurrentScreenConfiguration().CurrentByID(screen->ID());

src/servers/app/Desktop.cpp

948

if (fWorkspaces[0].StoredScreenConfiguration().CurrentByID(id) == NULL) {

src/servers/app/Desktop.cpp

951

= fWorkspaces[0].CurrentScreenConfiguration().CurrentByID(id);

src/servers/app/ScreenConfigurations.h

34

screen_configuration* CurrentByID(int32 id) const;