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(); }