> info-insert in the command buffer doesn't work.

Ohmm, it is easier than I expected. I have fixed it (r20961) and you
should be able to input InsetInfo by typing 'info-insert menu paste'
etc in the command buffer.

Bo

Reply via email to