newRPL: Alpha demo 0.9 released [UPDATED 2017-10-25]

[Claudio L.]

(08-19-2017 09:24 PM)The Shadow Wrote:  On a completely unrelated topic, I was wondering if there is any way for a user-defined menu to insert more than one command into the editor as a typing aid?

Not yet, it's been on the bug tracker for quite some time, always delayed to favor other things that take priority, but rest assured there will be a command to insert text directly into the command line.