Bug 974947 - Add preferences to hide command buttons on DevTools tabbar;r=jwalker