Terminal command line issue - keystrokes for extended character set

I recently had an issue with command line editing after upgrading to 9.3.23. That was resolved with the workaround:

$ swipl -Dno-readline

?- [library(editline)].

This restored all the line editing functions including TAB completion.

However in the process I lost the ability to type in items from the extended (ASCII?) character set, e.g., opt/alt-P for π, opt/alt-Z for Ω, opt/alt-M for µ, etc. These keystrokes appear to be discarded (presumably not supported by library(editline)).

Any workarounds for restoring this capability?

It seems there is an issue reading non-ASCII characters. That applies to all platforms using the libedit based commandline editor. No clue what :frowning: Need to do other work first …

This problem is now fixed with 02908452618c2f1ec8f28f523389416b4d577bf5 to packages/libedit.

Thanks Jan, exemplary service, as usual.