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

Gunnar Wagenknecht <gunnar@xxxxxxxxxxxxxxx> wrote:
> Shawn O. Pearce schrieb:
> > OK, great, thanks.  I'll submit http://egit.eclipse.org/r/90
> 
> Actually, that's wrong.

Blargh.  I submitted the change already.  :-(

> 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. :)

Which actually puts it back to the same thing we had before this
change, Eclipse looking at the core org.eclipse.jgit plugin for
branding assets.

-- 
Shawn.


Back to the top