(width: number)
| 739 | } |
| 740 | |
| 741 | render(width: number): string[] { |
| 742 | const lines = this.markdown.render(width); |
| 743 | this.markdownLineCount = lines.length; |
| 744 | return [...lines, "INPUT"]; |
| 745 | } |
| 746 | |
| 747 | invalidate(): void { |
| 748 | this.markdown.invalidate(); |