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. 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 ;) ). Now at least it does not flicker anymore, but just FYI, the warning message still appears each time the menu is re-created. The problem apparently comes from the `(send a-menu-item delete)' call (called prior to re-creating the whole menu).
This problem now has low priority for me. Laurent On Fri, Jan 18, 2013 at 7:53 AM, Laurent <laurent.ors...@gmail.com> wrote: > 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
