changing the gnome window manager
Xia
Xia1911 at 163.com
Sat Dec 6 03:10:52 UTC 2003
Hey Michael,
You can try the "Desktop Switch Tool" from GNOME menu: "Preference ->
More".
Or you've tried already?
Best regards.
More information about the users
mailing list