Moved codepilot into dedicated file.

Renamed prompt.js
Moved requestComments out of flowr.js
This commit is contained in:
Alexander Kastius
2016-09-09 17:24:04 +02:00
parent 493bf98850
commit 87d1b2388d
5 changed files with 57 additions and 56 deletions

View File

@@ -24,7 +24,6 @@ var CodeOceanEditor = {
active_file: undefined,
active_frame: undefined,
running: false,
qa_api: undefined,
output_mode_is_streaming: true,
numMessages: 0,
@@ -35,7 +34,6 @@ var CodeOceanEditor = {
ENTER_KEY_CODE: 13,
QaApiOutputBuffer: {'stdout': '', 'stderr': ''},
flowrResultHtml: '<div class="panel panel-default"><div id="{{headingId}}" role="tab" class="panel-heading"><h4 class="panel-title"><a data-toggle="collapse" data-parent="#flowrHint" href="#{{collapseId}}" aria-expanded="true" aria-controls="{{collapseId}}"></a></h4></div><div id="{{collapseId}}" role="tabpanel" aria-labelledby="{{headingId}}" class="panel-collapse collapse"><div class="panel-body"></div></div></div>',