ark::gui::GuiCommunicationsPlugin
Defined in header “ark/gui/gui/gui_comms_plugin.hh”.
This plugin visualizes the GUI communication statistics.
Methods
-
GuiCommunicationsPlugin(std::string name, std::string comms_namespace)
Constructor. -
~GuiCommunicationsPlugin()
Destructor; implemented in source for forward declares. -
void initialize(gui::PluginInterface & interface)
Called to initialize and construct this plugin.