>> 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... JMarc
