hi All
Thanks for the speedy replies :)
On Monday, 23 July 2018 21:01:32 UTC+2, Jacob Sparre Andersen wrote:
> Which version of GPS? The one currently packaged for Debian is indeed a
> bit flaky, while the one packaged with GNAT Community Edition, which you
> can download from AdaCore works quite well.
Sorry, should have included that.
GPS 2017 (20170515) hosted on x86_64-pc-linux-gnu
GNAT GPL 2017 (20170515-63)
I'm on Gentoo Linux.
[I] dev-ada/gps
Available versions: (~)2017^t ~2018^t {doc PYTHON_TARGETS="python2_7"}
Installed versions: 2017^t(12:53:03 29/04/2018)(-doc PYTHON_TARGETS="python2_7")
Suppose I could try to get the 2018 version installed.
>
> > 1. Line numbers: selected option for "all" but only first few are
> > shown, then they stop.
>
> Wierd.
I'm using that example from RosettaCode. When cursor is at top of file, I see line numbers up to 4. If I scroll down so that (4) goes up at the top, suddenly 5 to 11 appear. As you say, Weird.
>
> I'm pretty sure that is a user setting (but I can't remember where/how
> you set it).
I thought as much but there isn't anything marked "selected text colour" or words to that effect... unless this is another bug in the 2017 version. So didn't know if it was just not there, or hiding under some obtuse description. I could not find any mention of it in the online docs (hence asking experts here :- )
Will try to rewrite that code reading the file to do some sort of while-not-end-of-file....
Thanks, Ian