diff --git a/platform/src/Playground.js b/platform/src/Playground.js
index 2df59d2..965fd3f 100644
--- a/platform/src/Playground.js
+++ b/platform/src/Playground.js
@@ -645,6 +645,8 @@ function handleResponseActionFunction(action, requestPromise){
var response = JSON.parse(responseText);
var outputPanel = panels.find( pn => pn.id == action.output.id);
+ Metro.notify.killAll();
+
if (response.hasOwnProperty("error")) {
consolePanel.setError(response.error);
} else {
@@ -662,7 +664,6 @@ function handleResponseActionFunction(action, requestPromise){
if (response.editorUrl) {
// Language workbench
- Metro.notify.killAll();
longNotification("Building editor...");
checkEditorReady( response.editorStatusUrl, response.editorUrl, action.source.editorPanel, action.source.editorActivity);
@@ -737,8 +738,6 @@ function handleResponseActionFunction(action, requestPromise){
}
}
-
- //Metro.notify.killAll();
});
}
@@ -811,16 +810,16 @@ function runAction(source, sourceButton) {
function longNotification(title, cls="light") {
- Metro.notify.create("" + title + "...
This may take a few seconds to complete if the back end is not warmed up.", null, {keepOpen: true, cls: cls, width: 300});
+ Metro.notify.create( "