// {{{ processKeyEvent() method
private void pluginListUpdated() {
Component selected = tabPane.getSelectedComponent();
if (selected == installer || selected == updater) {
installer.updateModel();
updater.updateModel();
}
} // }}}
/**
* A callback called by the @link ManagePanel} when a plugin is removed. In that case, if the
* plugin had an update, the updated has to remove it, and the installer panel has to show the
* plugin again.
*/
void pluginRemoved() {
updater.updateModel();
installer.updateModel();
} // }}}