[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