A GUI for manipulating the set of installed plugins and editing
all plugins in the app.
The table updates are not particularly efficient becuase we destroy and
recreate the installed table whenever things change, this need optimizing
later.
author: Paul Byrne version: $Revision: 1.2 $