|
| From: | Mike Miller |
| Subject: | [Octave-bug-tracker] [bug #42136] Unicode box drawing chars in GUI don't line up very well |
| Date: | Sun, 10 Mar 2019 17:45:38 -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 #23, bug #42136 (project octave):
Let's fix that in our copy of qterminal, and submit a PR to qtermwidget to
remove the feature there too.
I forget where I saw this, but there was some interest in getting Octave to
work with the upstream qtermwidget library. We should help improve qtermwidget
if we can, and if they can get it compatible with Octave before someone gets
around to reimplement the command window, that would be a good outcome too.
_______________________________________________________
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] |