Searched refs:savenote (Results 1 – 3 of 3) sorted by relevance
996 bool savenote = 0; in vreplace() local1025 savenote++; in vreplace()1042 savenote++; in vreplace()1052 savenote++; in vreplace()1064 savenote++; in vreplace()1085 savenote++; in vreplace()1116 if (!savenote) in vreplace()
147 bool savenote; in vundo() local182 savenote = notecnt; in vundo()193 if (!savenote) in vundo()
462 \newcounter{savenote}\newcounter{onemark}464 \setcounter{savenote}{\value{footnote}}%467 \setcounter{footnote}{\value{savenote}}}469 \setcounter{savenote}{\value{footnote}}%472 \setcounter{footnote}{\value{savenote}}}