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

[Mike Miller]

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:

  <https://savannah.gnu.org/bugs/?42136>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/