Comment 3 for bug 140344

Revision history for this message
sander (s-devrieze) wrote :

More details:
* all sound settings are reset when this bug happens
* the Coccinella session before this annoying bug happens, the Sounds page in the preferences dialogs is not available for some unknown reason