Subject: Re: bug#18434: 24.3.93; f11 does not work as advertised
From: David Reitter <[email-masked]>
To: Jan Djärv <[email-masked]>
Cc: [email-masked]
Date: Tue, 9 Sep 2014 15:28:17 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

On Sep 9, 2014, at 1:52 PM, Jan Djärv <[email-masked]> wrote:
> F11 works fine here.  What does C-h l show?

It didn’t get picked up at all.

I didn’t have any bindings set in System Preferences, but upon investigation, I found that Butler was picking up the key.

So, issue solved, not a bug.  Sorry for the noise.  Case closed.

D