fixed a type issue at runtime

dart-lang · May 5, 2023 · 6e2237c · 6e2237c
1 parent 405d2fa
commit 6e2237c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/lib/editing/codemirror_options.dart b/lib/editing/codemirror_options.dart
@@ -4,9 +4,9 @@ const codeMirrorOptions = {
   'autoCloseTags': {
     'whenOpening': true,
     'whenClosing': true,
-    'indentTags':
-        <String>[], // Android Studio/VSCode do not auto indent/add newlines for any completed tags
-    //  The default (below) would be the following tags cause indenting and blank line inserted
+    'indentTags': <String>[],
+    // Android Studio/VSCode do not auto indent/add newlines for any completed tags
+    // The default (below) would be the following tags cause indenting and blank line inserted
     // ['applet', 'blockquote', 'body', 'button', 'div', 'dl', 'fieldset',
     //    'form', 'frameset', 'h1', 'h2', 'h3', 'h4', 'h5', 'h6', 'head',
     //    'html', 'iframe', 'layer', 'legend', 'object', 'ol', 'p', 'select', \

diff --git a/lib/services/execution_iframe.dart b/lib/services/execution_iframe.dart
@@ -241,7 +241,7 @@ require(["dartpad_main", "dart_sdk"], function(dartpad_main, dart_sdk) {
   void _initListener() {
     window.addEventListener('message', (event) {
       if (event is MessageEvent) {
-        final data = event.data as Map<String, dynamic>;
+        final data = (event.data as Map).cast<String, dynamic>();
         if (data['sender'] != 'frame') {
           return;
         }