>>>> "Joachim" == Joachim Schrod
<jschrod(a)acm.org> writes: 
   Joachim> Uwe Brauer wrote:
> Most likely this does not help, but just to make sure: did you
try:
> keysym F1 = F1 
   Joachim> Uwe, you made my day -- that's it! (Even worse, I know
   Joachim> about similar problems and should have checked the keysym
   Joachim> definitions myself.)
I am glad that it helped, however this `solution' does  not work for `F'
keys above > 12 that is shift F14 does not work for me.
Uwe