comp.lang.ada
 help / color / mirror / Atom feed
* gnat-gps select background color problem
@ 2017-09-02 23:42 Frank Buss
  2017-09-03  5:36 ` Frank Buss
  0 siblings, 1 reply; 2+ messages in thread
From: Frank Buss @ 2017-09-02 23:42 UTC (permalink / raw)


When I select a text in gnat-gps, it just changes the foreground color 
to black, which makes it very difficult to see what is selected, because 
most text is already black, besides some syntax highlighting. Recently I 
updated my Debian system to version 9 ("stretch"), and I think it worked 
in the previous version (something like blue for background of selected 
text). I reinstalled gnat-gps and removed ~/.gps, but still the same 
problem. Can't find the setting for changing this.

I have no problems with text selections in other programs, like "kate".

-- 
Frank Buss, http://www.frank-buss.de
electronics and more: http://www.youtube.com/user/frankbuss


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: gnat-gps select background color problem
  2017-09-02 23:42 gnat-gps select background color problem Frank Buss
@ 2017-09-03  5:36 ` Frank Buss
  0 siblings, 0 replies; 2+ messages in thread
From: Frank Buss @ 2017-09-03  5:36 UTC (permalink / raw)


Problem solved: looks like it is a bug in "GPS 6.1.1 (20150118)", which 
is part of the latest Debian release. I removed the outdated Debian 
package and installed manually "GPS 2017 (20170515)", and now it works.

-- 
Frank Buss, http://www.frank-buss.de
electronics and more: http://www.youtube.com/user/frankbuss


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2017-09-03  5:36 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-09-02 23:42 gnat-gps select background color problem Frank Buss
2017-09-03  5:36 ` Frank Buss

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox