UI Components of codemirror-console.