When instantiating a new
NotificationRequest you can avoid dispatching multiple identical notifications at once by passing an
identifier argument so that repeat notifications with the same identifier are not sent to the user within a short time span.
However when trying to display some information via the
nova.workspace.show* methods (as a more prominent native popup UI), there doesn’t seem to be any way to similarly deduplicate identical alerts.
It’d be nice if the identifier-based filtering mechanism of in-app notifications could somehow also be applied when calling those native popup boxes as well.