On 13/10/2017 10:46, Ed Greshko wrote: > On 10/13/17 15:29, Joachim Backes wrote: >> On 10/13/17 09:03, Mayavimmer wrote: >>> On 12/10/2017 19:56, Jonathan Ryshpan wrote: >>>> In the command interpreter (shell) the underline character >>>> (underline_char) generally but not always echos as a space when actually >>>> typed and generally but not always displays as an underline when >>>> produced by the system. For example: >>>> (1) $ echo underline_char >>>> (2) underline_char >>>> the underline echos as a space when actually typed on line (1) but then >>>> changes to an underline when I hit return and line (2) appears. Line (2) >>>> displays properly. >>>> >>>> System: >>>> 4 processor true-intel CPUs >>>> Fedora-26 with all upgrades >>>> Konsole (KDE) version Version 17.04.1 >>>> >>>> What's going on? How can it be fixed? >>> >>> I first saw this a couple years ago, in a different distro, and noticed >>> that changing character size (try Ctrl_+ or Ctrl_- in Konsole) made it >>> go away. It's probably a Konsole problem. >>> >> >> Seeing this not in gnome (gnome-terminal), and not on the virtual terminals (ctrl >> alt F1,...). > > FWIW, I can duplicate this behavior in gnome-terminal. All I need to do is Edit the > Profile Preferences and pick "Custom font" and Monospace Regular with a size greater > than 13. Hmmm. Also, if I recall, I experienced these three strange phenomena: 1. Some color combinations were worse, intermittently. I think the yellow text on black background was the worst. Switching to a different tab and back to the first one again would sometimes clear the problem. 2. Sometimes, upon scrolling the text in Konsole, and even scrolling up and then down again in vim, it would superimpose an entire, screen wide underline upon a line of text. And at times even two. 3. Much more rarely I would even see some character overstriking with different letters, but slightly offset up or down but a pixel or two. I quit investigating because I now get the correct representation 99% (NOT 100, sigh) of the time. _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx
