After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 100140 - workspace switcher does not save the number of workspaces
workspace switcher does not save the number of workspaces
Status: RESOLVED DUPLICATE of bug 94514
Product: gnome-panel
Classification: Other
Component: workspace switcher
unspecified
Other other
: Normal normal
: ---
Assigned To: Panel Maintainers
Panel Maintainers
Depends on:
Blocks:
 
 
Reported: 2002-12-02 16:38 UTC by plukje
Modified: 2004-12-22 21:47 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description plukje 2002-12-02 16:40:29 UTC
Package: gnome-panel
Severity: normal
Version: 1.0
Synopsis: workspace switcher does not save the number of workspaces
Bugzilla-Product: gnome-panel
Bugzilla-Component: Workspace Switcher Applet

Description:
Description of Problem:

workspace switcher does not save the number of workspaces

Steps to reproduce the problem:
1.  use workspace-switcher
2. see that it only spawns 1 workspace
3. set workspaces to 4
4. logout and save desktop-session
5. login again and see that there is only 1 workspace again

Actual Results:

there is only 1 workspace, contradictionary to the help file which says
the default is 4, and to the last session in which I selected 4
workspaces

Expected Results:

4 workspaces

How often does this happen?

always

Additional Information:

I wasn't able to find a setting for it in the gnome-registry or in any
gnome resource files in my home dir. Hence the bugreport. I am using
debian unstable (sid).

p.s.

what happened to the filled in workspaces from gnome 1.4? that one was
really cool, made me remember in which workspace I started which app
also :)

p.p.s.

gnome2 looks awesome, really

greets,


Eric




------- Bug moved to this database by unknown@bugzilla.gnome.org 2002-12-02 11:40 -------

The original reporter (plukje@koekjes.net) of this bug does not have an account here.
Reassigning to the exporter, unknown@bugzilla.gnome.org.
Reassigning to the default owner of the component, gnome-panel-maint@bugzilla.gnome.org.

Comment 1 David Kennedy 2002-12-02 17:43:47 UTC

*** This bug has been marked as a duplicate of 94514 ***