Re: [racket-dev] small GTK problem in 5.3..1.900

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 "Relo

Re: [racket-dev] small GTK problem in 5.3..1.900

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 wrote: > I haven't been able to provoke this warning. Can you te

Re: [racket-dev] small GTK problem in 5.3..1.900

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: > LIBDBU

[racket-dev] small GTK problem in 5.3..1.900

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