Well, I kinda changed the suject of the discussion. The matter here is whether the eclipse-plugin should be able to download "sources AND javadoc" or only (as is the cas right now) "sources, and only javadoc as a fallback if sources are missing". I'd like to get the plugin download and link both for me.
But I agree with you on the matter that is not the original discussion, but it's closely related. I don't really see how the original discussion could do with the actual version of the plugin BTW. Denis. > -----Message d'origine----- > De : Jochen Wiedmann [mailto:[EMAIL PROTECTED] > Envoyé : Thursday, July 05, 2007 11:42 AM > À : Maven Developers List > Objet : Re: [VOTE] Configure IDE plugins to download sources > by default within Maven projects > > On 7/5/07, Cabasson Denis <[EMAIL PROTECTED]> wrote: > > > Basically, I tend to agree with you Kenney. But I have > users who love to use Shift+F2 within eclipse (which opens a > browser like window with the view of the javadoc in eclipse), > and I don't really see why those users should be denied to > use their eclipse the way they want. > > Noone denies them doing so. The question is simply, whether > the required configuration snippet must go into the Maven > POM's or whether one can expect that those users who want it > (which includes me, btw, although I am voting against the > proposal) can add the same snippet to a settings.xml or profiles.xml. > > Jochen > > -- > "Besides, manipulating elections is under penalty of law, > resulting in a preventative effect against manipulating elections. > > The german government justifying the use of electronic voting > machines and obviously believing that we don't need a > police, because all illegal actions are forbidden. > > http://dip.bundestag.de/btd/16/051/1605194.pdf > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] For > additional commands, e-mail: [EMAIL PROTECTED] > > --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
