Comment 3 for bug 83840

Revision history for this message
Alexander Jones (alex-weej) wrote : Re: Some tabs missing orange highlight

For the record, this also affects GNOME Terminal.