examples/tex-bits/prshowlabels.def

   1 %%
   2 %% This is file `prshowlabels.def',
   3 %% generated with the docstrip utility.
   4 %%
   5 %% The original source files were:
   6 %%
   7 %% preview.dtx  (with options: `showlabels')
   8 %%
   9 %% IMPORTANT NOTICE:
  10 %%
  11 %% For the copyright see the source file.
  12 %%
  13 %% Any modified versions of this file must be renamed
  14 %% with new filenames distinct from prshowlabels.def.
  15 %%
  16 %% For distribution of the original source see the terms
  17 %% for copying and modification in the file preview.dtx.
  18 %%
  19 %% This generated file may be distributed as long as the
  20 %% original source files, as listed above, are part of the
  21 %% same distribution. (The sources need not necessarily be
  22 %% in the same archive or directory.)
  23 %%    The preview style for extracting previews from LaTeX documents.
  24 %%    Developed as part of AUCTeX <URL:http://www.gnu.org/software/auctex>.
  25 \ifPreview\else\expandafter\endinput\fi
  26 \newbox\pr@labelbox
  27 \def\pr@label#1{\pr@@label{#1}%
  28    \ifpr@setbox\z@{#1}%
  29      \global\setbox\pr@labelbox\vbox{\unvbox\pr@labelbox
  30       \box\z@}\egroup\fi}
  31 \def\ifpr@setbox#1#2{%
  32   \romannumeral%
  33   \ifx\protect\@typeset@protect\ifpr@outer\else
  34    \z@\bgroup
  35    \protected@edef\next{#2}\@onelevel@sanitize\next
  36    \ifx\next\@empty\egroup\romannumeral\else
  37    \ifx\next\pr@lastlabel\egroup\romannumeral\else
  38    \global\let\pr@lastlabel\next
  39    \setbox#1\pr@boxlabel\pr@lastlabel
  40    \expandafter\expandafter\romannumeral\fi\fi\fi\fi
  41    \z@\iffalse\iftrue\fi}
  42 \def\pr@boxlabel#1{\hbox{\normalfont
  43    \footnotesize\ttfamily\fboxsep0.4ex\relax\fbox{#1}}}
  44 \def\pr@maketag#1{\pr@@maketag{#1}%
  45   \ifpr@setbox\z@{\df@label}%
  46       \global\setbox\pr@labelbox\vbox{%
  47          \hrule\@width\wd\z@\@height\z@
  48          \unvbox\pr@labelbox}%
  49         \wd\z@\z@\box\z@ \egroup\fi}
  50 \g@addto@macro\pr@ship@start{%
  51   \global\setbox\pr@labelbox\box\voidb@x
  52   \xdef\pr@lastlabel{}%
  53   \global\let\pr@@label\label \let\label\pr@label
  54   \global\let\pr@@maketag\maketag@@@
  55   \let\maketag@@@\pr@maketag
  56 }
  57 \pr@addto@front\pr@ship@end{%
  58    \ifx \label\pr@label \global\let\label\pr@@label \fi
  59    \ifx \maketag@@@\pr@maketag
  60         \global\let\maketag@@@\pr@@maketag \fi
  61    \ifvoid\pr@labelbox
  62    \else \setbox\pr@box\hbox{%
  63          \box\pr@box\,\box\pr@labelbox}%
  64    \fi}
  65 \endinput
  66 %%
  67 %% End of file `prshowlabels.def'.