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