Slight adjustments to the toolbar, gave the toolbar's world explorer
button an icon, added a title bar to WorldExplorer and made TabState
enable/disable its world explorer properly.