Jürgen Spitzmüller wrote:
rgheck wrote:
Maybe the "protect" isn't very clear.

Maybe the protect isn't, but the associated tooltip should.

I found it slightly misleading, as "protect" of course has a specific meaning in LaTeX---one that makes little sense there. But I don't have any bright alternative ideas.

rh

Reply via email to