+
+ {this.textareaContent(deploymentPath.concat(['globals', i, 0]))}
+ |
+ {this.globalValueTextareaContent(i)} |
+
+ {controlButton('Delete', IconNames.MINUS, this.handleGlobalDelete(i))}
+ |
+
+ ));
+
+ return (
+
+ {deploymentDisp}
+
+
+ Interpreter:
+
+ {chapterSelect(deployment.chapter, this.handleChapterSelect)}
+
+
+ External Library:
+
+ {externalSelect(deployment.external.name, this.handleExternalSelect!)}
+
+
+
Symbols:
+
+
+ {controlButton('New Symbol', IconNames.PLUS, this.handleNewSymbol)}
+
+
+
Globals:
+
+
+ {controlButton('New Global', IconNames.PLUS, this.handleNewGlobal)}
+
+ );
+ };
+
+ private textareaContent = (path: Array