4 Commits

Author	SHA1	Message	Date
Igor Aleksanov	19cce08662	Re-export base_db from ide_db	2020-10-24 11:39:57 +03:00
Aleksey Kladov	af4e75533f	Rename declaration_name -> display_name ... Declaration names sounds like a name of declaration -- something you can use for analysis. It empathically isn't, and is just a label displayed in various UI. It's important not to confuse the two, least we accidentally mix semantics with UI (I believe, there's already a case of this in the FamousDefs at least).	2020-10-20 15:38:11 +02:00
Jonas Schievink	cde7392ec8	Improve prime_caches and display its progress	2020-10-12 13:35:01 +02:00
Aleksey Kladov	1b0c7701cc	Rename ra_ide -> ide	2020-08-13 17:58:27 +02:00