delete/backspace operations. This is used when you insert a LaTeX
figure (done as "\input "), but you still have to type the filename
yourself after the inset. */
delete/backspace operations. This is used when you insert a LaTeX
figure (done as "\input "), but you still have to type the filename
yourself after the inset. */