textext の分数の横棒が太すぎる

概要

textext で作った数式の分数の横棒が太すぎる. pdf2svg で変換すると太くなるようだ.

左図が pdf2svg, 右図が pstoedit で変換した図.

直し方

デフォルトの変換方法を pstoedit に変更すれば直る. 変換方法の優先順位は textext の最後の方(925行目)に

CONVERTERS = [Pdf2Svg, PstoeditPlotSvg, SkConvert]

のように定義されている. なので, pdf2svg が使える状態だとデフォルトでは pdf2svg が使われてしまう.

pstoedit を優先したい場合は, pstoedit をインストール (apt-get install pstoedit) した上で,

#CONVERTERS = [Pdf2Svg, PstoeditPlotSvg, SkConvert]
CONVERTERS = [PstoeditPlotSvg, Pdf2Svg, SkConvert]

のように修正すべし. これで分数の横棒がスリムになる.