diff options
| author | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-11-05 21:51:20 +0100 |
|---|---|---|
| committer | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-11-05 21:51:20 +0100 |
| commit | ad3856a6b766087df0036de0b556f4700a6498c9 (patch) | |
| tree | 78037d83b823feee3f73d6594d6039442d7ca525 /latexHeaders | |
| parent | cfb19a7085895cdbcf09c123c37735586dbe7695 (diff) | |
| parent | 8c33b4e0d3030cfed17fc64b4fe41133339f6d87 (diff) | |
merge mzuenni changes
Diffstat (limited to 'latexHeaders')
| -rw-r--r-- | latexHeaders/commands.sty | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/latexHeaders/commands.sty b/latexHeaders/commands.sty index c39923c..73a7dca 100644 --- a/latexHeaders/commands.sty +++ b/latexHeaders/commands.sty @@ -35,12 +35,17 @@ %\ifthenelse{\equal{#3}{}}{}{\runtime{#3}} \newcommand{\sourcecode}[1]{% + \label{code:#1}% \nobreak% % \needspace{3\baselineskip}% % \nopagebreak% \lstinputlisting{#1}% \penalty -1000% } +\newcommand{\sourceref}[1]{{% + \color{comment}\bfseries\itshape{}Seite \pageref{code:#1}% +}} + \newcommand{\method}[4][]{\texttt{#2}~~#3~~\runtime{#4}#1\par} \newenvironment{methods}[1][lll]{% |