mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

On Thu, Jan 29, 2004 at 11:30:26AM +0100, David Allouche wrote:
> The correct way would be:
> 
>   0. Switch to Page media type.
> 
>   1. Update the buffer, that fills the auxilliary documents.
> 
>   2. Update the TOC.
>   
>   3. Get the displayed text of all pagerefs used in TOC.
> 
>   2. Update the buffer, that updates pagerefs.
> 
>   3. Get the displayed text of all pagerefs used in the new TOC.
>   
>   4. If there are new or changed pagerefs, go to 2.
> 
>   5. Restore the initial media type.

Hum... a lot of typos... sorry. The correct algorithm would be:
 
  0. Switch to Page media type.

  1. Update the buffer, that fills the auxilliary documents.

  2. Update the TOC.
  
  3. Get the displayed text of all pagerefs used in TOC.

  4. Update the buffer, that updates pagerefs.

  5. Get the displayed text of all pagerefs used in the new TOC.
  
  6. If there are changed pagerefs, go to 3.

  7. Restore the initial media type.

-- 
                                                            -- ddaa

David Allouche         | GNU TeXmacs -- Writing is a pleasure
Free software engineer |    http://www.texmacs.org
   http://ddaa.net     |    http://savannah.gnu.org/projects/texmacs
   address@hidden  |    address@hidden
TeXmacs is NOT a LaTeX front-end and is unrelated to emacs.