Code editor now has readily-visible tabs.