set_selected_plugin

Description:

public void set_selected_plugin (PluginInfo info)

Selects the given plugin.

Parameters:

this

A PluginManagerView.
info

A PluginInfo.