Closed mamcgree closed 1 year ago
Looks like I made this change about 6 years ago (d8d3ce169c2bdc33072e11e1afcb308fcd9d26cb) along with some other monospace rendering changes. Will look at ways to support indented vs. non-indented.
thank you so much.. yes it is from years ago, and finally updating systems, and it broke all our creations.. even if you put a command line option --no-indent or something we would be eternally greatful.
cheers Mark..
May 30, 2023 11:55:48 a.m. Michael R Sweet @.***>:
Looks like I made this change about 6 years ago (d8d3ce1[https://github.com/michaelrsweet/htmldoc/commit/d8d3ce169c2bdc33072e11e1afcb308fcd9d26cb]) along with some other monospace rendering changes. Will look at ways to support indented vs. non-indented.
— Reply to this email directly, view it on GitHub[https://github.com/michaelrsweet/htmldoc/issues/505#issuecomment-1568684301], or unsubscribe[https://github.com/notifications/unsubscribe-auth/ACWWKM4HC4ROYN4KP37FTTTXIYJ7ZANCNFSM6AAAAAAYT6V6PE]. You are receiving this because you authored the thread.[Tracking image][https://github.com/notifications/beacon/ACWWKM4TRXZQ7OQTT7OX5PTXIYJ7ZA5CNFSM6AAAAAAYT6V6PGWGG33NNVSW45C7OR4XAZNMJFZXG5LFINXW23LFNZ2KUY3PNVWWK3TUL5UWJTS5QA4Q2.gif]
[master af6e9eb] Add --pre-indent option and corresponding GUI support (Issue #505)
I have many legacy html documents that were using the
<pre>
tag for alignment. Upgraded to the latest HTMLDOC, and the<pre>
tag indents. Is there a switch to turn off the indent, or a workaround.Thankyou
Cheers..