I upgraded to 0.8.0 and now the tabs are about three times as high as they were in 0.6.3. I assume this is due to the switch to GTK 3. Can they be put back to how they were (unless there's a setting to control this)? They take up a few rows I'd rather have in my terminal window.