|
@@ -56,7 +56,7 @@ export class GUIEditor {
|
|
const graphEditor = React.createElement(WorkbenchEditor, {
|
|
const graphEditor = React.createElement(WorkbenchEditor, {
|
|
globalState: globalState,
|
|
globalState: globalState,
|
|
});
|
|
});
|
|
-
|
|
|
|
|
|
+
|
|
ReactDOM.render(graphEditor, hostElement);
|
|
ReactDOM.render(graphEditor, hostElement);
|
|
// create the middle workbench canvas
|
|
// create the middle workbench canvas
|
|
if (!globalState.guiTexture) {
|
|
if (!globalState.guiTexture) {
|