2018-04-12 03:01:36 +03:00
|
|
|
import "codemirror-graphql/mode";
|
|
|
|
|
2018-04-12 00:22:03 +03:00
|
|
|
import React from "react";
|
|
|
|
import ReactDOM from "react-dom";
|
2017-09-12 22:44:50 +03:00
|
|
|
|
2018-04-12 00:22:03 +03:00
|
|
|
import Playground from "./Playground";
|
2018-04-17 22:09:37 +03:00
|
|
|
import WorkerApi from "./WorkerApi";
|
2017-06-13 19:20:13 +03:00
|
|
|
|
2018-04-17 22:09:37 +03:00
|
|
|
ReactDOM.render(
|
|
|
|
<Playground worker={new WorkerApi("/worker.js")} />,
|
|
|
|
document.getElementById("root")
|
|
|
|
);
|