From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!newsreader4.netcologne.de!news.netcologne.de!.POSTED.xdsl-213-196-221-111.netcologne.de!not-for-mail
From: Frank Buss <fb@frank-buss.de>
Newsgroups: comp.lang.ada
Subject: Re: gnat-gps select background color problem
Date: Sun, 3 Sep 2017 07:36:35 +0200
Organization: news.netcologne.de
Distribution: world
Message-ID: <oog4d3$vg9$1@newsreader4.netcologne.de>
References: <ooffld$j4d$1@newsreader4.netcologne.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 3 Sep 2017 05:36:35 +0000 (UTC)
Injection-Info: newsreader4.netcologne.de;
 posting-host="xdsl-213-196-221-111.netcologne.de:213.196.221.111";
	logging-data="32265"; mail-complaints-to="abuse@netcologne.de"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.0
In-Reply-To: <ooffld$j4d$1@newsreader4.netcologne.de>
Xref: news.eternal-september.org comp.lang.ada:47900
Date: 2017-09-03T07:36:35+02:00
List-Id: <comp.lang.ada>

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