|
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: <https://savannah.gnu.org/bugs/?42136> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |