extern size_t DBGManager_GetType(void);\r
extern void DBGManager_Reset(void);\r
extern void DBGManager_Close(void);\r
+extern void DBGManager_SourceFileSearchPathsSet(char *ListPaths);\r
\r
// Source text lines manager\r
extern size_t DBGManager_GetNumLineFromAdr(size_t Adr, size_t Tag);\r