Fix #3967 (#3978)

Pluto do not use require.js, so Plotly is not renamed to Plotly2
2021-12-02 23:33:52 +08:00
parent a75b17e42f
commit c4752b786b
1 changed files with 3 additions and 3 deletions
@@ -1079,10 +1079,10 @@ function plotly_html_body(plt, style = nothing)
        requirejs_prefix = """
            requirejs.config({
                paths: {
-                    Plotly2: '$(plotly_no_ext)'
+                    Plotly: '$(plotly_no_ext)'
                }
            });
-            require(['Plotly2'], function (Plotly2) {
+            require(['Plotly'], function (Plotly) {
        """
        requirejs_suffix = "});"
    end
@@ -1101,7 +1101,7 @@ end

 function js_body(plt::Plot, uuid)
    js = """
-        Plotly2.newPlot('$(uuid)', $(plotly_series_json(plt)), $(plotly_layout_json(plt)));
+        Plotly.newPlot('$(uuid)', $(plotly_series_json(plt)), $(plotly_layout_json(plt)));
    """
 end