What if each tree node also stored the the page numbers to which it was rendered? The first page, and the last page to which it was rendered, and for nodes rendered more than once (arguments) it would be for the rendering that was editable in the document.
The number of nodes whose pagination numbers were changed during a run would let TeXmacs know that pagination was not yet stable. If pagination goes on too long (is unstable) then these could become hints to avoid tweaking. The value of the hint increases the more cycles of pagination are completed. It would also make page-nr more valid in the document at edit time. Sam
_______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
