async Task Watch()
{
while (true)
{
var moment = DateTime.UtcNow;
await Task.Delay(500);
if (LastDomUpdated > moment)
{
continue;
}
if (LastTreeUpdated > LastDomUpdated)
{
continue;
}
if (!IsOpen())
{
continue;
}
LastTreeUpdated = DateTime.UtcNow;
await InspectionBox.CreateTreeView();
await InspectionBox.SelectCurrentNode();
await InspectionBox.PropertiesScroller.Load();
}
}
async Task LoadEnsured(View view)
{
if (view == null)
{
return;
}
CurrentViewPath = view.GetFullyQualifiedPath();
await HighlightItem();
await InspectionBox.SelectCurrentNode();
await InspectionBox.PropertiesScroller.Load();
}
