CodeMirror: Updated GUI::Tabs code