Not all function keys work in latest ctwm on Fedora 32 [Correction]

Aaron Sloman <[email protected]> Sun, 30 Aug 2020 09:28:32 +0100
Newsgroups gmane.comp.window-managers.ctwm
Message-ID <[email protected]>
I was working too late when I wrote this:

> If run in full graphic mode (Level 5), with ctwm as window manager:
> Key pressed:
>  F1     F2     F3     F4     F5     F6      F7      F8      F9        F10      F11      F12
>
> input characters generated (\^[ = ESC)
>  \^[OP  \^[OQ         \^[OS                 \^[[18~ \^[[19~ \^[[20~  \^[[21~
>
> Note that keys F3 F11 and F12 have no effect.

The last line should have been:

> Note that keys F3 F5 F6 F11 and F12 have no effect.

I wonder if F11 has been mapped to some new function: it seems to do
something to the registration of the display contents.

I hope I don't have to debug the latest source code...

Is there some way to get back to an earlier version, a few years ago?

Aaron