comp.lang.ada
 help / color / mirror / Atom feed
From: Brad Moore <brad.moore@shaw.ca>
Subject: Re: Problem with buggy GNAT GPS
Date: Sun, 12 Oct 2014 11:50:26 -0600
Date: 2014-10-12T11:50:26-06:00	[thread overview]
Message-ID: <sbz_v.381019$_k.129336@fx16.iad> (raw)
In-Reply-To: <891d6f9c-b3e6-4287-a056-f583a8031470@googlegroups.com>

On 14-10-12 11:31 AM, john@peppermind.com wrote:
> After a distribution upgrade from Ubuntu 12.04 to 14.04, I keep getting errors like the following in GNAT GPS in all of my projects while editing source code:
>
> sys:1: Warning: Source ID 166522 was not found when attempting to remove it
> sys:1: Warning: Source ID 167083 was not found when attempting to remove it
> sys:1: Warning: Source ID 167707 was not found when attempting to remove it
> sys:1: Warning: Source ID 168226 was not found when attempting to remove it
> sys:1: Warning: Source ID 169619 was not found when attempting to remove it
> sys:1: Warning: Source ID 170268 was not found when attempting to remove it
> sys:1: Warning: Source ID 173606 was not found when attempting to remove it
>
> and the GUI often freezes for a long time until it becomes responsive again, making it almost unusable at times. It's the GNAT Programming Studio version 5.0.0 by AdaCore in combination with FSF GNAT 4.6.
>
> Does anybody know what this error means and how to get rid of it?
>

I've been experiencing the same issue in Ubuntu 14.04. In addition, GPS 
seems to crash most times when I switch from one editor pane to another, 
which is very annoying.

The GPL GPS version doesn't have this problem.


  reply	other threads:[~2014-10-12 17:50 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-10-12 17:31 Problem with buggy GNAT GPS john
2014-10-12 17:50 ` Brad Moore [this message]
2014-10-14  8:42   ` john
2014-10-14  8:51     ` Dmitry A. Kazakov
2014-10-14 10:32     ` Simon Wright
replies disabled

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