toggleSound       352 gui/fltk/fltk.cpp     gui->toggleSound();
toggleSound      2620 gui/gtk/gtk.cpp     gui->toggleSound();
toggleSound       382 gui/gui.h          void toggleSound();