mailing-list for TeXmacs Users

[François Poulain <address@hidden>]

Hi,

See TeXmacs/progs/generic/document-menu.scm for details.

Le Thu, 31 Oct 2013 00:16:25 +0200,
Victor Porton <address@hidden> a écrit :

> - switch page type to "Paper"

This is done with : (init-page-medium "paper")

> - call "Update All" 6 times (or how many is enough?)

This is done with :
(begin
  (generate-all-aux)
  (inclusions-gc)
  (wait-update-current-buffer))

> - switch page type back

This is done with : (init-page-medium "papyrus")

> Also help to attach this script to the user's toolbar.

I don't advise you to to this. You can very simply add a shortcut with
something like : (kbd-map ("C-U" (my-refresh-buffer)))

François

-- 
François Poulain <address@hidden>