This was only used to start the default media player on gnome-settings-daemon,
when the user presses the Media key. We just open the default for audio/ogg
there, so no need to ask the user for a default media player
Add the X-GNOME-Settings-Panel category. You need a control-center
panel to add this to your desktop file. Desktop entries with this
category but that aren't actually panels will be ignored (no cheating).
If the desktop file for your settings isn't a panel, it will show in the
"Other" section of the control-center shell
https://bugzilla.gnome.org/show_bug.cgi?id=630998
cc-default-applications-panel.c: In function ‘cc_default_applications_panel_dispose’:
cc-default-applications-panel.c:73:7: warning: implicit declaration of function ‘gnome_da_xml_free’
cc-default-applications-panel.c:73:7: warning: nested extern declaration of ‘gnome_da_xml_free’
When the theme or screen changes, we need to make sure that
the previous handler for the theme-changed signal is disconnected
to avoid the callback being called when the panel has been unloaded.
https://bugzilla.redhat.com/show_bug.cgi?id=610289
