[uae] Re: F12 cause trouble with windowmaker

  • From: "David Holm <dholm@xxxxxxxxxx>" <dholm@xxxxxxxxxx>
  • To: uae@xxxxxxxxxxxxx
  • Date: Thu, 1 Apr 2004 16:35:44 +0200

Hash: SHA1

On Thursday 01 April 2004 15.33, JusTiCe8 wrote:
> Hi again,
> I use a Debian/Woody with Gnome desktop and WMaker, and this one use F11
> and F12 keys to display apps and windowmanager pop-up menu respectively,
> so it's impossible to use these keys in UAE.
> After a little time to think, and check source code, I saw that F10 is
> not used, so I decide to change F12 to F10 and it's works fine :).
> Regards,
>   JusTiCe8.

I thought I'd reply to this suggestion as I see an obvious flaw in this 
tactic, and I believe others than me would also spot this. It's not good that 
F12 does not work with WMaker, but making the instant change to another key, 
such as F10, is just a quick fix that works for you. Have you checked with 
all other existing window managers and desktop systems that neither of them 
use F10 for any special purpose? If any of them do, the only thing this patch 
would accomplish is to fix the problem on some setups but recreate the same 
issue on others.
I believe the only correct solution to the problem would be to add an option 
to the configuration file so that the key can be chosen arbitrarily.

Just my two cents on the patch.

//David Holm
Version: GnuPG v1.2.4 (GNU/Linux)


Other related posts: