in src/main/resources/assets/scaffold.js [58:71]
function deleteInterpreter() {
var interpreter = $.cookie(interpreterCookie);
if (interpreter !== undefined) {
$.removeCookie(interpreterCookie);
$.ajax({
type: 'DELETE',
url: interpreter
}).done(function () {
var outputs = $('pre.output');
outputs.addClass('hidden').removeClass('error');
$('div.output', outputs).text('');
});
}
}