Re: [ jEdit-devel ] feature request for plugin manager

[mike d. <md...@je...>]

begin Stefan Kost quotation:
> Am Mit, 2003-01-22 um 18.27 schrieb mike dillon:
> > begin Stefan Kost quotation:
> > > 1.) extended plugin desc some plugins are not requiring others
> > > plugins, but would offer extended features, when these are available.
> > > What about adding this to the plugin-descriptions (prop files), so
> > > that this information can be shown in the plugin-manager.
> > 
> > If you offer a list of corrections, they can be changed.
> I meant that this should be a new optional field in the
> "<pluginname>.props" file like e.g.
> 
> plugin.projectviewer.FastOpen.supports.0=ProjectViewer plugin

I got confused by your saying both "plugin-descriptions" and "prop
files".

-md