<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="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 class="h5"><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>