ctrl-shift-D (cmd-shift-D on Mac) also works to deauthorize on 1.7.2.
(I haven't tested it as I don't wnat to deauthorize, but I have verified that at least it brings up the prompt 'do you want to deauthorize', so I guess it will work..)
I can't think of any other suggestions, I am afraid.