Re: [PPower4] Equivalence of hypertarget and toptarget
Perhaps you could just keep a per page count of the number of \pause
commands? This is easy to add in tex with a counter. It will not
always do the right thing (see below), but it should get most cases
correct.
some text
\pause
more text
\pauselevel{=1}\pause
will fool the counter method into thinking that there are mutliple
builds of this page.
Klaus Guntermann writes:
Steffen Neumann writes:
[...]
What about remembering the highest pauselevel for a page
and testing for maxpauselevel 1 to show the buttons ?
This may help for your needs.
But it would require to process the pauselevel arguments also on the
TeX level.
I would not like to do that and I do not plan to implement that for
the time being.
But if you think this is an adequate solution for your problem feel
free to implement it.
Klaus
--
Klaus Guntermann[EMAIL PROTECTED]
FG Systemprogrammierung, FB Informatik, TU Darmstadt
Wilhelminenstr. 7, 64283 Darmstadt, Germany
--
Pat Riley
Third Year Ph.D. Student
Computer Science Department, Carnegie Mellon University
http://www.cs.cmu.edu/~pfr
Re: [PPower4] Equivalence of hypertarget and toptarget
Patrick Riley writes: Perhaps you could just keep a per page count of the number of \pause commands? This is easy to add in tex with a counter. It will not always do the right thing (see below), but it should get most cases correct. If someone wants an easy solution (s)he can proceed that way. But because it does not work in all circumstances reliably I hesitate to make that a supported feature. Furthermore one needs a hook to be able to reset the counter in all environments when a new page is begun. And one must be sure that the page is processed completely, when the intended navigation parts are to be created. You are in trouble, if you want to create the navigation elements first. The suggested solution may be easy for a special application, but can become cumbersome in general. Klaus -- Klaus Guntermann[EMAIL PROTECTED] FG Systemprogrammierung, FB Informatik, TU Darmstadt Wilhelminenstr. 7, 64283 Darmstadt, Germany
