Since posting I switched over to Gnome-Shell.  Same problem.  I&#39;ve also noticed that not only are the tabs gone but the buttons at the left hand side are gone as well (i.e. run and stepper).  <div><br></div><div>In Unity I had the global-menu, but now in Gnome-shell I don&#39;t even get that.  However, the menu is there just like the tabs were there.  I can click where stuff should be and DrRacket will react accordingly.  Basically, I&#39;m flying blind outside of the interactions and definitions windows. </div>

<div><br></div><div>-Logan</div>