Hi Jean-Christophe, > Here is diff for the whole setting.
Cool, many thanks for this great improvement! I have installed it. And the table in https://picolisp.com/wiki/?help looks very nice indeed :) ☺/ A!ex -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
