Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [egit-dev] JGit feature branding plugin

Hi Shawn,

Shawn O. Pearce schrieb:
> OK, great, thanks.  I'll submit http://egit.eclipse.org/r/90

Actually, that's wrong. By writing "should not get a branding plugin" I
meant that the "plugin" attribute on the feature element can (should) be
removed all together. This will make Eclipse look for a plug-in (bundle)
with an id equal to the feature id. If there is such a plug-in, it
should not contain any branding pieces. Then we are fine. :)

-Gunnar

-- 
Gunnar Wagenknecht
gunnar@xxxxxxxxxxxxxxx
http://wagenknecht.org/


Back to the top