Message175954
OK, thanks, and sorry for the noise. I've closed this issue.
Looking at the readline manual, it looks like this is tied up with the options input-meta, output-meta and convert-meta. Fiddling around with .inputrc hasn't clarified exactly what they do, but it seems that the terminal can either handle unicode, or shortcuts involving meta (alt), but not both. |
|
Date |
User |
Action |
Args |
2012-11-19 10:45:14 | takluyver | set | recipients:
+ takluyver, vstinner, eric.araujo, petri.lehtinen, serhiy.storchaka |
2012-11-19 10:45:14 | takluyver | set | messageid: <1353321914.58.0.202436964013.issue11679@psf.upfronthosting.co.za> |
2012-11-19 10:45:14 | takluyver | link | issue11679 messages |
2012-11-19 10:45:14 | takluyver | create | |
|