<div dir="ltr"><div><div><div><div>After re-reading the docs about `on-demand-callback' in `menu%', I now see that Unity handles things in a weird way, so Unity is quite probably the source of the problem here.<br> I've modified the script menu so that it does not use `on-demand-callback' anymore (which forces the user to click on "Reload" once in a while, oh my ;) ).<br></div>Now at least it does not flicker anymore, but just FYI, the warning message still appears each time the menu is re-created.<br> </div>The problem apparently comes from the `(send a-menu-item delete)' call (called prior to re-creating the whole menu).<br><br></div>This problem now has low priority for me.<br></div>Laurent<br></div><div class="gmail_extra"> <br><br><div class="gmail_quote">On Fri, Jan 18, 2013 at 7:53 AM, Laurent <span dir="ltr"><<a href="mailto:laurent.orseau@gmail.com" target="_blank">laurent.orseau@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <div dir="ltr"><div>Ubuntu 12.04.1, 32 bits<br><br></div>$ uname -a<br>Linux Eurisko 3.2.0-35-generic-pae #55-Ubuntu SMP Wed Dec 5 18:04:39 UTC 2012 i686 athlon i386 GNU/Linux<br><br>(i386-linux/3m) (get-display-depth) = 32<br> </div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jan 17, 2013 at 10:25 PM, Matthew Flatt <span dir="ltr"><<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I haven't been able to provoke this warning. Can you tell me more about<br> your OS distribution? (I tried Ubuntu 12.04, 32-bit mode, not necessarily<br> up-to-date.)<br> <div><div><br> At Thu, 17 Jan 2013 20:22:49 +0100, Laurent wrote:<br> > Hi,<br> > I see many messages like this one when I run 5.3.1.900 from a terminal:<br> > LIBDBUSMENU-GTK: watch_submenu: assertion `GTK_IS_MENU_SHELL(menu)' failed<br> ><br> > It is not really blocking, but it makes my "Scripts" menu flicker a little<br> > or sometimes it even fails to show up. This problem was not present in<br> > 5.3.1.10<br> ><br> > Laurent<br> </div></div>> _________________________<br> > Racket Developers list:<br> > <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br> </blockquote></div><br></div> </div></div></blockquote></div><br></div>