On this pageInterface: EditorPosition Properties column? optional column: number Defined in models.ts:1141 lineNumber lineNumber: number Defined in models.ts:1140