| 1234567891011121314151617181920 |
- import 'dart:ui';
- import 'package:xterm/src/ui/terminal_text_style.dart';
- Size calcCharMetrics(TerminalStyle style) {
- const test = 'mmmmmmmmmm';
- final textStyle = style.toTextStyle();
- final builder = ParagraphBuilder(textStyle.getParagraphStyle());
- builder.pushStyle(textStyle.getTextStyle());
- builder.addText(test);
- final paragraph = builder.build();
- paragraph.layout(ParagraphConstraints(width: double.infinity));
- return Size(
- paragraph.maxIntrinsicWidth / test.length,
- paragraph.height,
- );
- }
|