Far from being a gory detail, it's part of the public API for the mixin,
very similar to AutoComplete's "provideCompletions" event.

The mixin should ideally declare the event using @Events("refresh") and
should have a mention in the javadoc too.

Reply via email to