ark::gui::PluginSetConfiguration

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

---

Configuration for your plugin set. Allows you to set things like the host that you communicate with.

Variables

• std::string host_url= “127.0.0.1:8080”
  The host that you communicate with (websockets are all created pointing at this host). If empty, disables communications with any remote source.

• RendererInterfacePtr renderer= std::make_shared()
  The renderer that you wish to pass to all of the plugins. By default, this is empty and ignores all rendering requests.