![Minted、setstretch 和字体大小](https://linux22.com/image/242872/Minted%E3%80%81setstretch%20%E5%92%8C%E5%AD%97%E4%BD%93%E5%A4%A7%E5%B0%8F.png)
我正在使用minted
包。我的问题是\usepackage[nodisplayskipstretch]{setspace} \setstretch{1.5}
行。我确实需要这种行拉伸,但我不想让它影响生成的代码源minted
。如何做到这一点?另外,我希望能够独立于文档的其余部分更改代码列表使用的字体大小。我认为我希望代码列表的字体大小为 10 或 11pt,其余文本的字体大小为 12pt。
\documentclass[12pt,a4paper]{mwrep}
\usepackage{minted}
\usepackage[nodisplayskipstretch]{setspace} \setstretch{1.5}
\begin{document}
\begin{minted}{java}
public class Foo
{
public static void main(String[] args)
{
for(int i=0; i<10; i++)
{
System.out.println(i);
}
}
}
\end{minted}
\end{document}
答案1
加载包后,您可以在文档的序言中插入以下代码minted
:
\usepackage{etoolbox}
\AtBeginEnvironment{minted}{\singlespacing%
\fontsize{10}{10}\selectfont}
minted
或者,您可以使用以下选项启动每个环境:baselinestretch=1
和fontsize=\footnotesize
。后者有效,因为如果您将主字体大小设置为 12pt,\footnotesize
则会切换到小 2pt 的字体大小;如果您希望代码以 11pt 排版(主字体大小仍为 12pt),则应使用命令\small
而不是\footnotesize
。
答案2
\setminted{fontsize=\small,baselinestretch=1}
享受
答案3
有点晚了,但是定义一个环境,例如
\newminted{java}{fontsize=\footnotesize}
也可以。然后所有
\begin{javacode}...\end{javacode}
将字体大小设置为脚注大小。