Jason White <jason@jasonjgw.net> wrote: > For whatever reason, it was removed in an earlier version of Gnome (circa 3.2, > if I remember rightly). Sorry, I wasn't thinking too clearly... Alt-Ctrl-d was removed in Gnome 2.30 or thereabouts. It was shortly before the Gnome 3 transition.