PeasGtk.PluginManagerView.set_selected_plugin – libpeas-gtk-1.0 Reference Manual
set_selected_plugin
Description:
public
void
set_selected_plugin
(
PluginInfo
info)
Selects the given plugin.
Parameters:
this
A
PluginManagerView
.
info
A
PluginInfo
.
2022 vala-language.org