Michael Koch <[EMAIL PROTECTED]> writes: > tag 343114 confirmed pending > thanks > > On Sat, Dec 17, 2005 at 08:49:21PM +0100, J?r?me Marant wrote: >> Michael Koch <[EMAIL PROTECTED]> writes: >> >> > On Sat, Dec 17, 2005 at 07:24:05PM +0100, J?r?me Marant wrote: >> >> Hi, >> >> >> >> Here are the necessary files. >> > >> > Thanks, this helps a lot. I will commit a fix for this bug to our CVS >> > later and tag this bug accordingly. The fix will then be included in the >> > 3.1.1-7 upload of eclipse. >> >> Thank you! >> >> I just installed Eclipse today. You all did very good job. > > The fix is commited to our CVS now.
I think it would be wise to keep the desktop entry as well because people using either Gnome or KDE make use of such entries in favour of the Debian menu entry. The Debian menu entry is necessary for anyone not using a desktop environment because there is no desktop entry available. -- Jérôme Marant
