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 331396 - Manual mentions Settings -> Preferences instead of Edit -> Preferences
Manual mentions Settings -> Preferences instead of Edit -> Preferences
Status: RESOLVED DUPLICATE of bug 316363
Product: gnome-media
Classification: Deprecated
Component: gnome-volume-control
2.12.x
Other Linux
: Normal normal
: ---
Assigned To: gnome media maintainers
gnome media maintainers
Depends on:
Blocks:
 
 
Reported: 2006-02-16 10:18 UTC by Loïc Minier
Modified: 2006-02-16 12:58 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Loïc Minier 2006-02-16 10:18:28 UTC 
Hi,

The Preferences section in the manual mentions Settings -> Preferences instead of Edit -> Preferences.

This is Debian bug http://bugs.debian.org/309479.

Cheers,
Comment 1 Sebastien Bacher 2006-02-16 12:58:40 UTC 
Thanks for the bug report. This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find.


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