☰

Minted、setstretch 和字体大小

tag-icon • tag-icon fontsize line-spacing minted setspace
Minted、setstretch 和字体大小

我正在使用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}

将字体大小设置为脚注大小。

相关内容