public IReadOnlyList<CodeEditorVisibleLine> VisibleLines {[CompilerGenerated] get; [CompilerGenerated] init; }