| … | |
… | |
| 62 | # tth is used by the formatted-text display mode. |
62 | # tth is used by the formatted-text display mode. |
| 63 | $externalTTHPath = "/usr/local/bin/tth"; |
63 | $externalTTHPath = "/usr/local/bin/tth"; |
| 64 | |
64 | |
| 65 | # dvipng is used for dpng mode |
65 | # dvipng is used for dpng mode |
| 66 | $externalDvipngPath = "/usr/local/bin/dvipng"; |
66 | $externalDvipngPath = "/usr/local/bin/dvipng"; |
| 67 | |
67 | $externalDvipngPath_img = "/usr/local/bin/dvipng -mode ljfivemp -D600 -Q6 -x1000.5 -bg Transparent"; |
| 68 | # These two have to match, from modes.mf |
68 | # These two have to match, from modes.mf |
| 69 | #$dvipngMode = "ljfivemp"; |
69 | #$dvipngMode = "ljfivemp"; |
| 70 | #$dvipngDPI = 600; |
70 | #$dvipngDPI = 600; |
| 71 | $dvipngMode = "toshiba"; |
71 | $dvipngMode = "toshiba"; |
| 72 | $dvipngDPI = 180; |
72 | $dvipngDPI = 180; |