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
X-Received: by 2002:a6b:2c4f:: with SMTP id
 s76-v6mr7208675ios.117.1532462469254;
        Tue, 24 Jul 2018 13:01:09 -0700 (PDT)
X-Received: by 2002:aca:c6ca:: with SMTP id w193-v6mr9422oif.1.1532462468559;
 Tue, 24 Jul 2018 13:01:08 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!news.redatomik.org!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!85.12.16.69.MISMATCH!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!g2-v6no1235399itf.0!news-out.google.com!k71-v6ni1479itk.0!nntp.google.com!g2-v6no1235397itf.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 24 Jul 2018 13:01:08 -0700 (PDT)
In-Reply-To: <9f8bc09e-14a6-47a4-8083-caa1857ec6e9@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=165.73.112.105;
 posting-account=FlDDTgoAAAB5iCuW7fM5pP_RHQGC8krX
NNTP-Posting-Host: 165.73.112.105
References: <9f8bc09e-14a6-47a4-8083-caa1857ec6e9@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4168fe08-6d06-4779-937a-b6acbfca1d68@googlegroups.com>
Subject: Re: Some questions about GPS
From: Ian Douglas <ian@vionia.com>
Injection-Date: Tue, 24 Jul 2018 20:01:09 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1895
X-Received-Body-CRC: 2481854790
Xref: reader02.eternal-september.org comp.lang.ada:53954
Date: 2018-07-24T13:01:08-07:00
List-Id: <comp.lang.ada>

FWIW, I tried to update to 2018 version of GPS but it fails to compile. (It is marked "unstable" in Gentoo, despite being "recommended" version".)

So tried updating other bits of Ada to 2018, some worked, some still wanted 2017 stuff, so gave up and tried to undo. Not sure how well :)

End result is that somehow it dropped me back to 2015 version of GPS, which does not have the line number or "select highlight" issues that the 2017 version has. Does have slightly dated interface but I can live with that.

Have mailed the package maintainer for an ETA on when 2018 version will be working properly.

Thanks again for the help.

Cheers, Ian