Comment 5 for bug 1235625

Verified to work on my system running gnome-session-flashback. Both media keys and ctrl+alt+t to open new terminals behave as expected now.