gdk_to_gnash_modifier  132 gui/gtk/gtk.cpp     int gdk_to_gnash_modifier(int key);
gdk_to_gnash_modifier 2363 gui/gtk/gtk.cpp     int mod = gdk_to_gnash_modifier(event->state);
gdk_to_gnash_modifier 2381 gui/gtk/gtk.cpp     int mod = gdk_to_gnash_modifier(event->state);
gdk_to_gnash_modifier   93 gui/pythonmod/gnash-view.cpp static int gdk_to_gnash_modifier(int state);