void IChangeSetHandler.Handle(ChangeSet changes)
{
if (changes.Added.Concat(changes.Changed).Any(x => FileChangeShouldRegenerateTopicTree(x.Path)) ||
changes.Deleted.Any())
{
_project.ReadTopics();
_refresher.RefreshPage();
}
else
{
_refresher.RefreshPage();
}
}
private void FileChanged(object sender, FileSystemEventArgs fileSystemEventArgs)
{
var file = fileSystemEventArgs.FullPath;
readFiles(new[] { file }).ContinueWith(t => _browser.RefreshPage());
}
public void post_refresh(HardRefresh refresh)
{
_project.HardRefresh().ContinueWith(t => _refresher.RefreshPage());
}