From 498dba598d5ab3c9fa9cdf85c3751148a93c1b4c Mon Sep 17 00:00:00 2001
From: jochen <jochendeveloper@gmail.com>
Date: Sat, 13 Mar 2021 20:49:33 +0800
Subject: [PATCH] fix crash on web (dart:io)

---
 lib/widgets/raw_editor.dart | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/lib/widgets/raw_editor.dart b/lib/widgets/raw_editor.dart
index ca1a1d6e..c282d2e5 100644
--- a/lib/widgets/raw_editor.dart
+++ b/lib/widgets/raw_editor.dart
@@ -1,6 +1,5 @@
 import 'dart:async';
 import 'dart:convert';
-import 'dart:io';
 
 import 'package:flutter/cupertino.dart';
 import 'package:flutter/foundation.dart';
@@ -700,10 +699,10 @@ class RawEditorState extends EditorState
       handleDelete,
     );
 
-    if (Platform.isWindows ||
-        Platform.isMacOS ||
-        Platform.isLinux ||
-        Platform.isFuchsia) {
+    if (defaultTargetPlatform == TargetPlatform.windows ||
+        defaultTargetPlatform == TargetPlatform.macOS ||
+        defaultTargetPlatform == TargetPlatform.linux ||
+        defaultTargetPlatform == TargetPlatform.fuchsia) {
       _keyboardVisible = true;
     } else {
       _keyboardVisibilityController = KeyboardVisibilityController();