On Thu, Jul 29, 2004 at 09:36:41 +0100, Chris Cannam wrote: > 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?
No, sorry, pre-coffee abiguous grammar, I wasn't correcting you, I meant: I think it should be, *because* local filenames are unique, and labels are required to be unique in the file. But it was also a pretty pointless comment. Sorry. /me gets coffee - Steve
