[racket] DRRacket right-click menu fragility in Linux.

Three hours ago, Ray Racine wrote:
> Basically when you right-click the menu flashes up and then
> disappears.  If you are experiencing it, you would know it.  The
> reason I mentioned that the right click menu in Chrome was fine was
> to commuicate that it does not appear to be either a Unity/Gnome
> issue in general or a mouse hardware issue with the button
> etc.  IMHO, it is definitely an issue with the DR GUI on Linux
> (Ubuntu).  Hmm, I can do a quick Fedora test as well.

I can verify that I've seen it happen occasionally in Fedora too, an
old version so no unity or whatever.  (And IIRC it usually happens in
class, so I don't know how to reproduce it.)

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!