You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What steps will reproduce the problem?
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
What is the expected output? What do you see instead?
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.
What version of the product are you using? On what operating system?
Debian Jessie - gnome-mplayer version: 1.0.8-1
Please provide any additional information below.
Debian Bug: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=711118
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.
Original issue reported on code.google.com by rossgamm...@gmail.com on 10 May 2015 at 6:26
The text was updated successfully, but these errors were encountered:
Original issue reported on code.google.com by
rossgamm...@gmail.com
on 10 May 2015 at 6:26The text was updated successfully, but these errors were encountered: