[Home] [prev] [up] [next]     ((allprose.sty))

24.8 Show Exports

Exports of categories and domains are collected into a file and included into the documentation by the command ∖showexports.

The background color of the output of the ∖showexports command can be configured via the command ∖backgroundColor{showexports}{...} at a local customization (see Section 24.12).

230⟨show exports 230⟩≡   (192)
\newcommand{\showexports}[1]{%
  \@ifundefined{!#1}{%
    \expandafter\def\csname!#1\endcsname{}%
    {\begin{ColoredBackground}{showexports}%
        \noindent\footnotesize
        \begin{aditemsection}{Exports of #1}
        \input{#1.exports}
        \end{aditemsection}\end{ColoredBackground}}%
  }{}}

Uses aditemsection 250, ColoredBackground 202, and showexports 370.

[Home] [prev] [up] [next]     ((allprose.sty))