[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
-----BEGIN PGP SIGNED MESSAGE-----
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.
Hi,
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
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)
iD8DBQFAbCjExVDe1wIoqX0RAnpfAJ9ZKBP4TDZuiYiEUQh5dsXlpSHLYQCfSeUS
fgBivYUgbrDe2ycp9bDIoPs=
=IsCU
-----END PGP SIGNATURE-----
Other related posts:
