A few minor UI changes around new xml code mirror tab