[Agda] beamer \setbeamercolor{math text} destroys agda --latex
colors for some characters
Andreas Abel
abela at chalmers.se
Thu May 15 21:15:04 CEST 2014
This concerns the Agda LaTeX backend in connection with beamer.
Here is a funny effect: If one sets the color for "math text", then the
backticks (\') in identifers are not colors correctly (like according to
the AgdaBound or AgdaModule schema), but just in (I guess) the "math
text" color.
\documentclass{beamer}
\usepackage{latex/agda}
\mode<presentation>
{
% The following line destroys the right colorization for ′
\setbeamercolor{math text}{parent=titlelike}
}
\begin{document}
\begin{frame}[fragile=singleslide]
\begin{code}%
\>[12]\AgdaBound{a′} \AgdaSymbol{:} \AgdaRecord{Delay′} \<[31]%
\\
\>\AgdaModule{Delay′}\<%
\end{code}
\end{frame}
\end{document}
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bug.tex
Type: application/x-tex
Size: 471 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20140515/4d0f9110/bug.tex
More information about the Agda
mailing list