1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
%% pause.sty 11 Jun 99
%%-----------------------------------------------------------
%%
%% insert small colored chunks to mark spots in the pdf file,
%% where a break should be made during display.
%% This method needs postprocessing by another program.
%% But one can preview the formatted text, where stops are indicated
%% as small colored chunks. These will vanish during postprocessing.
%% As this is specific for pdf, we will ignore \pause tags, if we do
%% not create pdf.
%%
%% Take care: because we have to insert pdf comments starting with
%% the letter '%' the catcode of '%' will be changed temporarily.
%% leave, if not creating pdf
\ifx\pdfoutput\undefined
\let\pause=\relax\expandafter\endinput
\fi
\definecolor{myred}{rgb}{0.9,0.5,0}
{\catcode`\%=11
\gdef\pause{\vbox to 0pt{\vss\hbox to 0pt{{\pdfliteral{%pause}\color{myred}\vrule width 2truemm height 5truemm\hss\pdfliteral{%esuap}}}}}}
|
