|
@@ -1,13 +1,14 @@
|
|
|
import 'dart:ui';
|
|
import 'dart:ui';
|
|
|
|
|
|
|
|
|
|
+import 'package:flutter/painting.dart';
|
|
|
import 'package:xterm/src/ui/terminal_text_style.dart';
|
|
import 'package:xterm/src/ui/terminal_text_style.dart';
|
|
|
|
|
|
|
|
-Size calcCharSize(TerminalStyle style, double textScaleFactor) {
|
|
|
|
|
|
|
+Size calcCharSize(TerminalStyle style, TextScaler textScaler) {
|
|
|
const test = 'mmmmmmmmmm';
|
|
const test = 'mmmmmmmmmm';
|
|
|
|
|
|
|
|
final textStyle = style.toTextStyle();
|
|
final textStyle = style.toTextStyle();
|
|
|
final builder = ParagraphBuilder(textStyle.getParagraphStyle());
|
|
final builder = ParagraphBuilder(textStyle.getParagraphStyle());
|
|
|
- builder.pushStyle(textStyle.getTextStyle(textScaleFactor: textScaleFactor));
|
|
|
|
|
|
|
+ builder.pushStyle(textStyle.getTextStyle(textScaler: textScaler));
|
|
|
builder.addText(test);
|
|
builder.addText(test);
|
|
|
|
|
|
|
|
final paragraph = builder.build();
|
|
final paragraph = builder.build();
|