8f86fd6bae
Before, workspacesOnlyOnPrimary was implemented in quite a crazy manner: * If workspacesOnlyOnPrimary was false, we'd create one WorkspacesView per monitor, with the primary one being a bit special. * If workspacesOnlyOnPrimary was true, we'd create one WorkspacesView, and additional montiors would be handled inside that WorkspacesView as "extra workspaces". This caused numerous bugs as the two modes weren't consistently implemented, and a lot of code was duplicated between all the modes. Fix this by always creating WorkspaceViews, even if it only handles one interface. We do this by having two different WorkspacesView-ish classes: WorkspacesView handles the traditional combination of lots of workspces, and a new ExtraWorkspaceView is in control of only one workspace.
GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to provide a visually attractive and easy to use experience. For more information about GNOME Shell, including instructions on how to build GNOME Shell from source and how to get involved with the project, see: http://live.gnome.org/GnomeShell Bugs should be reported at http://bugzilla.gnome.org against the 'gnome-shell' product. License ======= GNOME Shell is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.