>>>>> "Richard" == Richard Heck <[EMAIL PROTECTED]> writes:
Richard> Jean-Marc Lasgouttes wrote: >>>> update toc and list of xxx seems to me an expensive operation. >>>> Can it be done on demand? I mean, maybe we can add a >>>> 'refresh'/'regenerate' button in the outline panel; and update >>>> 'list of listings' and such only if this menu item is clicked. >>>> >> This is how it used to be in the good old time, but Abdel decided >> that automatic was cooler... >> Richard> Cooler, definitely, and this is what users will expect, Richard> especially with the navigate menu. So there is also the Richard> question about how one might regenerate the navigation menu. The navigation menu is regenerated just before displaying it. At least this is what it used to do, without much overhead. JMarc
