Bug#711118: gnome-mplayer: messes up with dconf settings even when the user didn't change anything
Francesco Poli (wintermute)
invernomuto at paranoici.org
Tue Jun 4 20:35:36 UTC 2013
Package: gnome-mplayer
Version: 1.0.8-1
Severity: normal
Hello,
I noticed a misbehavior of gnome-mplayer with respect to the dconf
configuration management.
After the following steps:
0) start dconf-editor
1) reset all gnome-mplayer/gecko-mediaplayer preferences to their defaults
2) quit dconf-editor
3) start gnome-mplayer
4) enter its preferences dialog window and just take a look around
(without changing anything)
5) exit from the dialog window
6) quit gnome-mplayer
7) start dconf-editor
many settings are again marked as manually-changed (in boldface font),
even though almost all of these are actually equal to their default
value; some values are indeed non-default (such as audio-lang, for
instance).
I do not experience this awkward behavior, if I skip steps 4 and 5.
It seems to me that the gnome-mplayer internal configuration dialog
window does something strange to ~/.config/dconf/user ...
I don't think it should save anything to the configuration file, if I
haven't changed any setting at all! In other words, the configuration
file should stay absolutely untouched, unless I actually changed
something.
And anyway, it should not mark settings as manually-changed, if I
haven't changed them manually.
Finally, it should not set some options to non-default values (such as
audio-lang, for instance), if I haven't done anything to them.
I think that the configuration dialog is not working as expected.
Please forward this bug report upstream.
Thanks for your time.
-- System Information:
Debian Release: jessie/sid
APT prefers testing
APT policy: (800, 'testing'), (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 3.2.0-4-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages gnome-mplayer depends on:
ii dconf-gsettings-backend [gsettings-backend] 0.12.1-3
ii libasound2 1.0.25-4
ii libc6 2.17-3
ii libcairo2 1.12.14-4
ii libcurl3-gnutls 7.30.0-2
ii libdbus-1-3 1.6.10-1
ii libdbus-glib-1-2 0.100.2-1
ii libgda-5.0-4 5.0.3-2
ii libgdk-pixbuf2.0-0 2.28.1-1
ii libglib2.0-0 2.36.1-2build1
ii libgmlib1 1.0.7-1
ii libgmtk1 1.0.7-1
ii libgpod4 0.8.2-7
ii libgtk-3-0 3.4.2-6
ii libmusicbrainz3-6 3.0.2-2.1
ii libnautilus-extension1a 3.4.2-1+build1
ii libnotify4 0.7.5-2
ii libx11-6 2:1.5.0-1+deb7u1
ii libxss1 1:1.2.2-1
ii mplayer2 [mplayer] 2.0-554-gf63dbad-1+b1
gnome-mplayer recommends no packages.
Versions of packages gnome-mplayer suggests:
ii gecko-mediaplayer 1.0.8-1
-- no debconf information
More information about the pkg-multimedia-maintainers
mailing list