void DbgCallStackService_FramesChanged(object sender, FramesChangedEventArgs e) => UI(() => UpdateMarkers(updateActiveStatements: e.FramesChanged));
void DbgCallStackService_FramesChanged(object sender, FramesChangedEventArgs e) => UI(() => RefreshNodes_UI());