merge method
Merge value with a new set of WidgetEvent.
Implementation
void merge(Set<WidgetEvent> events) {
value.addAll(events);
notifyListeners();
}
Merge value with a new set of WidgetEvent.
void merge(Set<WidgetEvent> events) {
value.addAll(events);
notifyListeners();
}