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]

Reply via email to