|
Packit Service |
76cb02 |
|
|
Packit Service |
76cb02 |
\usepackage{listings}
|
|
Packit Service |
76cb02 |
\usepackage{color}
|
|
Packit Service |
76cb02 |
|
|
Packit Service |
76cb02 |
\definecolor{hellgelb}{rgb}{1,1,0.9}
|
|
Packit Service |
76cb02 |
\definecolor{colKeys}{rgb}{0,0,1}
|
|
Packit Service |
76cb02 |
\definecolor{colIdentifier}{rgb}{0,0,0}
|
|
Packit Service |
76cb02 |
\definecolor{colComments}{rgb}{1,0,0}
|
|
Packit Service |
76cb02 |
\definecolor{colString}{rgb}{0,0.5,0}
|
|
Packit Service |
76cb02 |
|
|
Packit Service |
76cb02 |
% Symbol to put when line wraps
|
|
Packit Service |
76cb02 |
\newcommand{\wrapsign}{\hbox{\rm\ensuremath\hookleftarrow}}
|
|
Packit Service |
76cb02 |
|
|
Packit Service |
76cb02 |
%
|
|
Packit Service |
76cb02 |
% Default verbatim layout used if \lstparamset not defined
|
|
Packit Service |
76cb02 |
%
|
|
Packit Service |
76cb02 |
\@ifundefined{lstparamset}{
|
|
Packit Service |
76cb02 |
\lstset{%
|
|
Packit Service |
76cb02 |
basicstyle=\ttfamily\small, %
|
|
Packit Service |
76cb02 |
identifierstyle=\color{colIdentifier}, %
|
|
Packit Service |
76cb02 |
keywordstyle=\color{colKeys}, %
|
|
Packit Service |
76cb02 |
stringstyle=\color{colString}, %
|
|
Packit Service |
76cb02 |
commentstyle=\color{colComments}, %
|
|
Packit Service |
76cb02 |
tabsize=2, %
|
|
Packit Service |
76cb02 |
frame=single, %
|
|
Packit Service |
76cb02 |
framerule=0pt, %
|
|
Packit Service |
76cb02 |
extendedchars=true, %
|
|
Packit Service |
76cb02 |
showspaces=false, %
|
|
Packit Service |
76cb02 |
showlines=true, %
|
|
Packit Service |
76cb02 |
showstringspaces=false, %
|
|
Packit Service |
76cb02 |
numberstyle=\tiny, %
|
|
Packit Service |
76cb02 |
breaklines=true, %
|
|
Packit Service |
76cb02 |
prebreak={\space\wrapsign}, %
|
|
Packit Service |
76cb02 |
backgroundcolor=\color[gray]{0.95}, %
|
|
Packit Service |
76cb02 |
breakautoindent=true, %
|
|
Packit Service |
76cb02 |
captionpos=b%
|
|
Packit Service |
76cb02 |
}
|
|
Packit Service |
76cb02 |
}{
|
|
Packit Service |
76cb02 |
% Call the user macro that defines the layout
|
|
Packit Service |
76cb02 |
\lstparamset
|
|
Packit Service |
76cb02 |
}
|
|
Packit Service |
76cb02 |
|
|
Packit Service |
76cb02 |
%
|
|
Packit Service |
76cb02 |
% GAP language, derivated from Pascal, has more keywords to highlight
|
|
Packit Service |
76cb02 |
%
|
|
Packit Service |
76cb02 |
\lstdefinelanguage[]{GAP}[]{Pascal}{%
|
|
Packit Service |
76cb02 |
morekeywords={od,fi,alias}%
|
|
Packit Service |
76cb02 |
}
|
|
Packit Service |
76cb02 |
|
|
Packit Service |
76cb02 |
% Lengths to compute the listing width from the number of characters
|
|
Packit Service |
76cb02 |
\newlength{\lstcharwidth}
|
|
Packit Service |
76cb02 |
\newlength{\lstcharwidthb}
|
|
Packit Service |
76cb02 |
\newlength{\lstframesep}
|
|
Packit Service |
76cb02 |
\newlength{\lstwidth}
|
|
Packit Service |
76cb02 |
\setlength{\lstcharwidth}{\lst@width}
|
|
Packit Service |
76cb02 |
%\let\lstcharwidth\lst@width
|
|
Packit Service |
76cb02 |
\setlength{\lstframesep}{\lst@frametextsep}
|
|
Packit Service |
76cb02 |
|
|
Packit Service |
76cb02 |
% Setup to compute a char width
|
|
Packit Service |
76cb02 |
\def\lstsetup{\sbox{\z@}{\lstinline!x!}%
|
|
Packit Service |
76cb02 |
\settowidth{\lstcharwidth}{\usebox{\z@}}%
|
|
Packit Service |
76cb02 |
\sbox{\z@}{\lstinline[basicstyle=\ttfamily]!x!}
|
|
Packit Service |
76cb02 |
\settowidth{\lstcharwidthb}{\usebox{\z@}}}
|
|
Packit Service |
76cb02 |
|
|
Packit Service |
76cb02 |
% Environment to render fancyvrb like listings does
|
|
Packit Service |
76cb02 |
\newenvironment{fvlisting}[1][]
|
|
Packit Service |
76cb02 |
{\lstset{fancyvrb,#1}}
|
|
Packit Service |
76cb02 |
{\lstset{fancyvrb=false}}
|