Replace broken box draw chars with unicode equivalents.

iocane / unbox

GPL licensed J interpreter

Other

37 stars 7 forks source link

Replace broken box draw chars with unicode equivalents. #7

Closed hoosierEE closed 8 years ago

hoosierEE commented 8 years ago

Also fixes issues in "An Implementation of J" html files where the font family is set to "ISIJ" inside a <pre> block, but since there is no ISIJ font, the spacing was messed up. I changed all instances of ISIJ to courier. A better change might have been to simply remove the font tags altogether, but I wanted to make a less invasive edit.

iocane commented 8 years ago

Thanks Alex. I am going to apply this to my development branch and push it to Github later today or tomorrow. I'll use master for tagged releases and add a "contributing" section to the readme to let everyone know to work on the development branch.

iocane commented 8 years ago

Applied to the develop branch.

hoosierEE commented 8 years ago

nice!

On Mon, Jan 18, 2016 at 7:23 PM, Thomas Costigliola < notifications@github.com> wrote:

Closed #7 https://github.com/iocane/unbox/pull/7.

— Reply to this email directly or view it on GitHub https://github.com/iocane/unbox/pull/7#event-518516877.