ark::gui::PluginPublisherEvent

Defined in header “ark/gui/plugin_comms_manager.hh”.

---

A plugin publisher event. These are generated when you add publishers and allows the downstream interface to handle additions/removals.

Variables

• PluginPublisherEventType type
  The event type.

• pipeline::PublisherBasePtr publisher
  The publisher that was added.