gnome, gnome-terminal desktop icon oddity

[Robert Moskowitz]

On 12/29/2013 05:04 PM, Tom H wrote:
> On Sun, Dec 29, 2013 at 3:57 PM, Robert Moskowitz <rgm at htt-consult.com> wrote:
>> Oh, and I have lost <ctl-alt-l> to lock my desktop.
> super-l
Got it thanks.

I only started seeing reference to the 'super' key with f20.  Seems I 
was blissfully ignorant until recently what to call that button that was 
equivalent to the right click (in many cases).  Took me a bit to figure 
it out  :)

Anyway, it sure seems like at first install, <ctl-alt-l> was working, 
but could have just been another of those senior moments.