Yes, it's a bug in readline, it doesn't recognize the AltGr combinations
on international keyboards. I can't find a workaround or version of
readline that fixes the problem, maybe someone else here knows more?
Albert
--
Dr. Albert Gr"af
Dept. of Music-Informatics, University of Mainz, Germany
Email: Dr.G...@t-online.de, a...@muwiinfa.geschichte.uni-mainz.de
WWW: http://www.musikinformatik.uni-mainz.de/ag
(Windows-only problem, of course. This works fine on Linux.)