Noticed the same problem (screenshot attached).<div><br></div><div>FWIW, it seems that Unity is based on Gtk+3, if I am not mistaken, as is Gnome3 (the other default interface).</div><div><br></div><div><br></div><div>Laurent<br>

<br><div class="gmail_quote">On Mon, Oct 17, 2011 at 14:11, Logan Mayfield <span dir="ltr">&lt;<a href="mailto:jlmayfield.4@gmail.com" target="_blank">jlmayfield.4@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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&#39;ll switch tabs.  I&#39;m assuming this has something to do with the Unity UI.  <div>




<br></div><div>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 5.2.0.1--2011-10-15(cb6a712/g) ).  </div><div><br></div><div>Other than that, I haven&#39;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. </div>




<div><br></div><div>I&#39;m assuming this is mostly an issue related to Unity and the global menu bar, but I&#39;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. </div>




<div><br></div><font color="#888888"><div>-Logan </div>
</font><br>_________________________________________________<br>
  For list-related administrative tasks:<br>
  <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a><br></blockquote></div><br></div>