Sfoglia il codice sorgente

Fix handling of update_display_data

Steven Silvester 7 anni fa
parent
commit
d5d9eafb83
1 ha cambiato i file con 1 aggiunte e 1 eliminazioni
  1. 1 1
      packages/outputarea/src/widget.ts

+ 1 - 1
packages/outputarea/src/widget.ts

@@ -307,7 +307,7 @@ class OutputArea extends Widget {
       break;
     case 'update_display_data':
       output = msg.content as nbformat.IOutput;
-      output.output_type = msgType as nbformat.OutputType;
+      output.output_type = 'display_data';
       targets = this._displayIdMap.get(displayId);
       if (targets) {
         for (let index of targets) {