ark::time::TimePlugin

Defined in header “ark/time/gui/time_plugin.hh”.

A simple plugin that can display time.

Methods

  • TimePlugin(std::string name, std::string comms_namespace)
    Constructor. Initializes the plugin defaults.

  • ~TimePlugin()
    Virtual destructor, for cleanup.

  • void initialize(gui::PluginInterface & interface)
    Called during initialization. This gives you a chance to register you widget elements and communication methods.