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