Richard Heck wrote:
2. insert a space in the text after the ERT.
This seems tricky, as I can't see how just to insert a space.
Indeed. I crabbed once about the fact that trailing spaces are
eliminated when an LFUN is processed. Don't know if anyone entered an
enhancement request for a way to insert an ordinary space.
But this
will do:
self-insert a b; delete-backward; char-backward; delete-backward;
char-forward
So the whole thing would be:
\bind "C-y" "command-sequence ert-insert; self-insert
\noindent; char-forward; self-insert a b; delete-backward;
char-backward; delete-backward; char-forward"
Or perhaps better yet:
"command-sequence ert-insert; self-insert \noindent a;
delete-backward; next-inset-toggle"
Then you get the space inside ERT, and the inset is collapsed for you.
If, as I suspect, Bob wants the space just to keep \noindent from
running into the text, a somewhat simpler solution is
"command-sequence ert-insert; self-insert \noindent{}; char-forward;"
/Paul