fix crash on web (dart:io)

pull/88/head
jochen 4 years ago
parent f7d05ba28a
commit 498dba598d
  1. 9
      lib/widgets/raw_editor.dart

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

Loading…
Cancel
Save