(metrics: CodeMetrics, x = this.cursor.x)
| 379 | } |
| 380 | |
| 381 | private calculateMaxWidth(metrics: CodeMetrics, x = this.cursor.x): number { |
| 382 | return Math.max(this.maxWidth, metrics.maxWidth, x + metrics.firstWidth); |
| 383 | } |
| 384 | |
| 385 | private currentProgress() { |
| 386 | if (this.globalProgress.length === 0) { |