29 Jul
2004
29 Jul
'04
6:20 a.m.
On Thursday 29 Jul 2004 9:00 am, Steve Harris wrote:
On Thu, Jul 29, 2004 at 09:17:03AM +0100, Chris Cannam
wrote:
Is that different from what I said?
Chris
/* 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.