[gps-users] How to delete (or make rebuild) the GPS entity database ?

[Gautier de Montmollin]

Hello,I enjoy a lot the Intellisense... errrrr... the Smart Completion feature.Alas, the entity database it is based on (according tohttp://www.adacore.com/wp-content/files/auto_update/gps-docs/Menu-Items.html#Smart-Completion) got corrupted and GPS (GPL 2009), probably due to some unhandled exception, reliably crashes every time the Smart Completion is trying to show entries.I refreshed the xref info, but it did not help.Anyone succeeded, or knows where is the db file to delete ?TIAGautier 		 	   		  
_________________________________________________________________
Hotmail: Trusted email with powerful SPAM protection.
http://clk.atdmt.com/GBL/go/196390707/direct/01/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: /pipermail/gps-users/attachments/20100126/bcd8aa48/attachment.htm