@@ -569,7 +569,7 @@ declare module 'sourcegraph' {
*/ */
export interface CodeEditor { export interface CodeEditor {
/** The type tag for this kind of {@link ViewComponent}. */ /** The type tag for this kind of {@link ViewComponent}. */
type: 'CodeEditor' readonly type: 'CodeEditor'


/** /**
* The text document that is open in this editor. The document remains the same for the entire lifetime of * The text document that is open in this editor. The document remains the same for the entire lifetime of