Cannot change font for literallayout without setting literal.class parameter
Status: Beta
Brought to you by:
marsgui
Menu
▾
▴
#116 Cannot change font for literallayout without setting literal.class parameter
Currently, if literal.class='monospaced' (its default value), that overrides any class set on a given literallayout element. This does not seem to be the intended behavior. In particular, currently it is impossible to get non-monospaced literallayout text without setting the literal.class parameter globally.
The following patch fixes it so that literal.class is only used if no explicit class is set:
diff -r a6d7e81a8e41 xsl/verbatim.xsl
--- a/xsl/verbatim.xsl Mon Aug 14 20:24:04 2017 +0200
+++ b/xsl/verbatim.xsl Mon Mar 19 15:10:34 2018 +0000
@@ -370,7 +370,7 @@
<xsl:text>backgroundcolor={},</xsl:text>
<xsl:choose>
<xsl:when test="@class='monospaced' or</xsl:choose>
- $literal.class='monospaced'">
- ($literal.class='monospaced' and not(@class))">
<xsl:text>basicstyle=\ttfamily,</xsl:text>
<xsl:otherwise></xsl:otherwise>
I notice that the patch does not work cleanly in a message, so I've added it as a separate attachment.
Last edit: Reuben Thomas 2018-03-19