[racket] Graphics Issues in Ubuntu 11.10

From: Neil Toronto (neil.toronto at gmail.com)
Date: Mon Oct 17 12:23:58 EDT 2011

Thanks for warning me about the upgrade. :/

If you want to determine whether it's the global appmenu making your 
tabs disappear, try opening a terminal and starting DrRacket this way:

     export UBUNTU_MENUPROXY=drracket

That should disable the global menu for DrRacket. It does in 11.04, 
anyway. Can both of you reply and say whether that got your tabs back?

If it does, I'll bet appmenu thinks the tabs are part of the main menu 
based on their window class.

Neil T

On 10/17/2011 06:33 AM, Laurent wrote:
> Noticed the same problem (screenshot attached).
> FWIW, it seems that Unity is based on Gtk+3, if I am not mistaken, as is
> Gnome3 (the other default interface).
> Laurent
> On Mon, Oct 17, 2011 at 14:11, Logan Mayfield <jlmayfield.4 at gmail.com
> <mailto:jlmayfield.4 at gmail.com>> wrote:
>     I recently upgraded to Ubuntu 11.10 and have noticed some pretty
>     serious glitches in the graphics of DrRacket.  Most notably tabs are
>     no longer visible but are select-able.  Meaning, if I click where
>     the tabs should be, it'll switch tabs.  I'm assuming this has
>     something to do with the Unity UI.
>     The bug is present in both 5.1.3 installed from the PPA and when
>     running a version compiled from the github master branch (version
> ).
>     Other than that, I haven't noticed anything bad.  With 11.04
>     scrolling through source was terrible.  If you held down the up or
>     down arrow it would pretty much buffer the movement to the point
>     where when you let go of the arrow it would continue to move.  That
>     seems to be fixed with the upgrade to 11.10.
>     I'm assuming this is mostly an issue related to Unity and the global
>     menu bar, but I'm not really sure how to go about working around it
>     short of switching to a different desktop UI or OS.  Any help would
>     be appreciated.
>     -Logan
>     _________________________________________________
>       For list-related administrative tasks:
>     http://lists.racket-lang.org/listinfo/users
> _________________________________________________
>    For list-related administrative tasks:
>    http://lists.racket-lang.org/listinfo/users

Posted on the users mailing list.