gnome, gnome-terminal desktop icon oddity

[Tom H]

On Mon, Dec 30, 2013 at 1:08 AM, Robert Moskowitz <rgm at htt-consult.com> wrote:
> 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.

You're welcome.

AFAIK super-l/win-l is a GNOME 3.10 default.