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?