internal void ResetCachedData() { // The domain may have changed if (sourceFile != null) domain = database.GetFolderDomain (null, Path.GetDirectoryName (sourceFile)); desc = null; addin = null; }