The naming of workspaces in the gnome workspace switcher are not preserved. If I change the names, and logout, when I login again my custom names are gone and it is reset to "Workspace 1", "Workspace 2", etc.
-- Eugenio Diaz, BSEE/BSCE Linux Engineer [EMAIL PROTECTED]
