[gps-users] Tooltips
Emmanuel Briot
briot at adacore.com
Tue Oct 25 18:22:40 CEST 2005
> I want to report some problems with the tooltips. I observed that in
> some projects the comments before or after a statement are not correctly
> taken into account. Sometimes a comment very far from the current
> location is displayed. There seems to be no clear rule for these mistakes.
Please send some code so that we can try and reproduce the problem on
our side. There is no known issue in that area of GPS
regards
Emmanuel
More information about the gps-users
mailing list