On Sun, 2 Jun 2013 13:19:07 +0200 Sebastian Ramacher wrote: > Sorry for the late replay.
No problem, it may happen, even in the best of families! ;-) > > On 2013-05-08 23:53:02, Francesco Poli wrote: [...] > > OK, I am now looking at the settings with both dconf-editor and with > > gsettings. > > > > $ gsettings get apps.gecko-mediaplayer.preferences disable-wmp > > true > > > > which seems to match with what I see with dconf-editor, under > > > > apps > > gecko-mediaplayer > > preferences > > > > where "disable-wmp" is checked, despite having a default value == false. > > > > I am trying to set every gecko-mediaplayer and gnome-mplayer preference > > to its default value and see what happens. > > > > Mmmh, first thing I noticed: 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 ... > > Nothing awkward happening there. Just if you hit ok there, it saves the > values in the config. That's what it's supposed to do. 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. I thought this was obvious... Moreover, it should not set some options to non-default values (such as audio-lang, for instance), if I haven't done anything to them. Finally, I didn't hit OK, as there is no OK button. There is only a Close button, which is another thing that I strongly dislike in some "modern-looking" configuration dialog windows: there's no OK/Cancel choice, only a Close button that's supposed to be used to exit and it doesn't allow me to change my mind and avoid saving the configuration! So, no, sorry, I disagree: I think that the configuration dialog is *not* working as expected. > > > However, even after resetting the preferences with dconf-editor, and > > restarting iceweasel, I still experience the issue I originally > > reported: the browser still claims that an additional plugin is needed > > for WMV videos... > > Maybe we should have checked the obvious first. Which version of > iceweasel are you using? $ dpkg -l iceweasel Desired=Unknown/Install/Remove/Purge/Hold | Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend |/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad) ||/ Name Version Architecture Description +++-==============-============-============-================================= ii iceweasel 10.0.12esr-1 amd64 Web browser based on Firefox > And if you start iceweasel, are there any > spurious warnings/messages? $ iceweasel (process:4146): GLib-CRITICAL **: g_slice_set_config: assertion `sys_page_size == 0' failed > Could you check with stat or similar if the > files from /usr/lib/mozilla/plugins are loaded and by setting the > appropriate LD_DEBUG flags (check ld-linux.so(8) for details) if they > are loaded without problems? $ LD_DEBUG=libs LD_DEBUG_OUTPUT=/tmp/ld_debug_iceweasel.out iceweasel (process:4712): GLib-CRITICAL **: g_slice_set_config: assertion `sys_page_size == 0' failed $ grep -i --color plugins /tmp/ld_debug_iceweasel.out* $ ls -lg /tmp/ld_debug_iceweasel.out* -rw-rw---- 1 $USER 63888 Jun 2 18:17 /tmp/ld_debug_iceweasel.out.4712 -rw-rw---- 1 $USER 1218 Jun 2 18:13 /tmp/ld_debug_iceweasel.out.4713 -rw-rw---- 1 $USER 526 Jun 2 18:13 /tmp/ld_debug_iceweasel.out.4714 -rw-rw---- 1 $USER 529 Jun 2 18:13 /tmp/ld_debug_iceweasel.out.4716 -rw-rw---- 1 $USER 37440 Jun 2 18:17 /tmp/ld_debug_iceweasel.out.4923 Awkward, it mentions nothing about plugins. Did I do anything the wrong way? > > Maybe we just hit an incompatible combination of > iceweasel/gecko-mediaplayer and the config stuff is just a red herring. I honestly do not know... Thanks again for all the time you are spending on this issue. -- http://www.inventati.org/frx/frx-gpg-key-transition-2010.txt New GnuPG key, see the transition document! ..................................................... Francesco Poli . GnuPG key fpr == CA01 1147 9CD2 EFDF FB82 3925 3E1C 27E1 1F69 BFFE
pgpMg0TG2eBJg.pgp
Description: PGP signature
