Closed bibimbop closed 11 years ago
It is indeed critical to refresh before move, ascii-convert, html-convert, and indeed, now I think of it, renumber!
In one of the prior fixes I added some warning text to the ascii and html convert messages, but that's not very good.
My concern is that refresh may be time-consuming. And if you do a manual refresh (and wait for it to complete) and then click renumber or convert and it does ANOTHER refresh, that would be annoying.
I am trying to think how it could tell if the document has changed since the last refresh.
Well, that was easy. Commit a133785.
If I do:
I get in the resulting document:
and elsewhere, the footnote is intact:
Forcing a refresh (and thus ensuring the notes are actually still correct) should fix that.