Preventing incorrect Table of contents/Page numbers when exporting
Add option to PDF generation dialog: Process(Refresh) document N times before saving PDF.
The result is that when the document is exported to PDF, the compiler will do all N passes, which ensures that things s.a. clickable references, page
numbers, table of contents are correct when exported as a PDF ( If N is sufficiently large). The result will be just as if you would compile your document in
any other Latex editor, without having to remember to manually refresh your document before exporting.