no longer I think of the bug, because the update problem was in gnome-panel, not in debian-menu system.<br><br>and sometimes those updates not occurs as newly-installed package's .post_inst scripts do not launch menu-xdg update command.
<br><br>thanks,<br><br><div><span class="gmail_quote">2006/5/23, Loïc Minier <<a href="mailto:lool@dooz.org">lool@dooz.org</a>>:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
tags 315256 + moreinfo unreproducible<br>stop<br><br> Hi,<br><br> This is a followup for Debian bug <<a href="http://bugs.debian.org/315256">http://bugs.debian.org/315256</a>>.<br><br>On Thu, Oct 20, 2005, <a href="mailto:bill@yellowpig.yi.org">
bill@yellowpig.yi.org</a> wrote:<br>> menu-xdg update the XDG menu automatically, but gnome-panel fails to<br>> notice the changes. Other windows manager check the timestamps of the<br>> menufiles when you open the menu to see whether they need to update it.
<br><br> I installed Eclipse and it appeared in the Debian menu in my panel, it<br> seems the bug is fixed. Do you still get the bug?<br><br> Bye,<br>--<br>Loïc Minier <<a href="mailto:lool@dooz.org">lool@dooz.org</a>
><br>"You can gtk_main_run, but you can't gtk_widget_hide." --danw, 19-jul-04<br></blockquote></div>