Ubuntu 12.04.1, 32 bits $ uname -a Linux Eurisko 3.2.0-35-generic-pae #55-Ubuntu SMP Wed Dec 5 18:04:39 UTC 2012 i686 athlon i386 GNU/Linux
(i386-linux/3m) (get-display-depth) = 32 On Thu, Jan 17, 2013 at 10:25 PM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > I haven't been able to provoke this warning. Can you tell me more about > your OS distribution? (I tried Ubuntu 12.04, 32-bit mode, not necessarily > up-to-date.) > > At Thu, 17 Jan 2013 20:22:49 +0100, Laurent wrote: > > Hi, > > I see many messages like this one when I run 5.3.1.900 from a terminal: > > LIBDBUSMENU-GTK: watch_submenu: assertion `GTK_IS_MENU_SHELL(menu)' > failed > > > > It is not really blocking, but it makes my "Scripts" menu flicker a > little > > or sometimes it even fails to show up. This problem was not present in > > 5.3.1.10 > > > > Laurent > > _________________________ > > Racket Developers list: > > http://lists.racket-lang.org/dev >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
