merge method

void merge(
  1. Set<WidgetEvent> events
)

Merge value with a new set of WidgetEvent.

Implementation

void merge(Set<WidgetEvent> events) {
  value.addAll(events);
  notifyListeners();
}