public static void refresh_downloaded_contributions()
{
DirectoryInfo d = new DirectoryInfo(configurations.GetAbsoluteContributionPath());
FileInfo[] files = d.GetFiles();
window_manager.downloaded_contributions.Clear();
foreach (FileInfo f in files)
{
try
{
window_manager.downloaded_contributions.Add(Convert.ToInt32(f.Name.Split(new char[] { '.' })[0]));
}
catch (Exception e3)
{
log.WriteErrorLog(e3);
}
}
}