On Thursday 29 Jul 2004 9:00 am, Steve Harris wrote: > On Thu, Jul 29, 2004 at 09:17:03AM +0100, Chris Cannam wrote: > > /* This identifier can be used as a unique, case-sensitive > > identifier for the plugin type within the plugin file. > > Plugin types should be identified by file and label rather than > > by index or plugin name, which may be changed in new plugin > > versions. Labels must not contain white-space characters. */ > > > > To me this makes it pretty plain that filename and label is at > > least intended to be a valid unique ID within your filesystem, > > and in practice I'd expect it to be an effective id for the > > plugin anywhere in the world. > > I think it should be: local filenames are unique, and labels are > required to be unique in the file.
Is that different from what I said? Chris
