diagnosticsChanged method

void diagnosticsChanged()

Implementation

void diagnosticsChanged() {
  _syncSession();
  if (_overlay.enabled) _revision++;
}