diff --git a/lib/widgets/editor.dart b/lib/widgets/editor.dart index fc950b65..97e2efa6 100644 --- a/lib/widgets/editor.dart +++ b/lib/widgets/editor.dart @@ -1,6 +1,7 @@ import 'dart:convert'; import 'dart:io' as io; import 'dart:math' as math; +import 'dart:ui' as ui; import 'package:flutter/cupertino.dart'; import 'package:flutter/foundation.dart'; @@ -29,7 +30,6 @@ import 'controller.dart'; import 'cursor.dart'; import 'default_styles.dart'; import 'delegate.dart'; -import 'fake_ui.dart' if (dart.library.html) 'real_ui.dart' as ui; const urlPattern = r"^((https?|http)://)?([-A-Z0-9.]+)(/[-A-Z0-9+&@#/%=~_|!:,.;]*)?(\?[A-Z0-9+&@#/%=~_|!:‌​,.;]*)?$";