Jason White <[email protected]> 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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

