[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #42136] Unicode box drawing chars in GUI don't

From: Mike Miller
Subject: [Octave-bug-tracker] [bug #42136] Unicode box drawing chars in GUI don't line up very well
Date: Thu, 14 Mar 2019 18:21:02 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/72.0.3626.121 Safari/537.36

Follow-up Comment #25, bug #42136 (project octave):

I agree with all that. I only assume that this special code for box drawing
characters was done in the first place because of a lack of widely available
font coverage at the time, and maybe is no longer needed. But yeah, only
guessing that it can be safely removed, and suggesting we try it, see if it
breaks anything, and then contribute that simplification upstream.


Reply to this item at:


  Message sent via Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]