From: Frank Buss <fb@frank-buss.de>
Subject: Re: gnat-gps select background color problem
Date: Sun, 3 Sep 2017 07:36:35 +0200
Date: 2017-09-03T07:36:35+02:00 [thread overview]
Message-ID: <oog4d3$vg9$1@newsreader4.netcologne.de> (raw)
In-Reply-To: <ooffld$j4d$1@newsreader4.netcologne.de>
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
prev parent reply other threads:[~2017-09-03 5:36 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-09-02 23:42 gnat-gps select background color problem Frank Buss
2017-09-03 5:36 ` Frank Buss [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox