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 103346 - Doesn't save number of spaces from pager
Doesn't save number of spaces from pager
Status: RESOLVED OBSOLETE
Product: Sawfish
Classification: Deprecated
Component: General
pre-1.3.x
Other other
: Normal normal
: 1.5.x
Assigned To: John Harper
sawfish QA Team
Depends on:
Blocks:
 
 
Reported: 2003-01-13 04:36 UTC by Havoc Pennington
Modified: 2010-10-13 15:13 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Havoc Pennington 2003-01-13 04:36:30 UTC 
The workspace switcher in gnome sends _NET_NUMBER_OF_DESKTOPS or whatever, 
Sawfish doesn't seem to record this value permanently. See:
https://bugzilla.redhat.com/bugzilla/show_bug.cgi?id=72663