|
James, > These color problems are almost certainly a result of your environment > setting the foreground and background colors. David Gibbs noticed that if > he ran x5250 from gtkterm then it interfered with the proper color > settings. That's why I've coded x5250 to make the color definitions in > ~/.Xdefaults override the command line foreground and background colors > (which is typically a bad thing to do - overriding the command line). My .Xdefaults file doesn't have any color definitions in it. And I NEVER use gtkterm, I always use xterm. In version 0.1.2, the colors worked fine -- in 0.1.5 they do not. > I don't know if you are running gnome-terminal, but try launching x5250 > from a standard xterm. If that doesn't work, try putting these (or > similar) lines in your ~/.Xdefaults: > > x5250*redcolor : orangered > x5250*greencolor : green > x5250*bluecolor : royalblue > x5250*blackcolor : black > x5250*whitecolor : ivory > x5250*yellowcolor : gold > x5250*turquoisecolor : darkturquoise > x5250*pinkcolor : deeppink That works, but... should I have to do that? > David also noticed that there is a setting in gnome (or maybe just > gnome-terminal?) that turned off the forced foreground/background setting. > I'm sorry I don't know exactly what it was - I don't use gnome. Of course > maybe you don't either. If you don't use KDE or gnome or gnome-terminal > or similar and it still doesn't work please let me know. I use Gnome, but I don't use gnome terminal or any of that... I use xterm. I'm not sure what setting you're referring to. But Gnome hasn't changed between version 0.1.2 and 0.1.5...
This mailing list archive is Copyright 1997-2026 by midrange.com and David Gibbs as a compilation work. Use of the archive is restricted to research of a business or technical nature. Any other uses are prohibited. Full details are available on our policy page. If you have questions about this, please contact [javascript protected email address].
Operating expenses for this site are earned using the Amazon Associate program and Google Adsense.