##// END OF EJS Templates
backport WebSocket.send_error from tornado 4.1...
backport WebSocket.send_error from tornado 4.1 raising an exception in a websocket results in "Method not supported" on tornado 4.0

File last commit:

r20153:5636d56f
r20426:0c84b0dc
Show More
notificationarea.js
29 lines | 869 B | application/javascript | JavascriptLexer
define([
'base/js/notificationarea'
], function(notificationarea) {
"use strict";
var NotificationArea = notificationarea.NotificationArea;
var EditorNotificationArea = function(selector, options) {
NotificationArea.apply(this, [selector, options]);
}
EditorNotificationArea.prototype = Object.create(NotificationArea.prototype);
/**
* Initialize the default set of notification widgets.
*
* @method init_notification_widgets
*/
EditorNotificationArea.prototype.init_notification_widgets = function () {
var that = this;
var savew = this.new_notification_widget('save');
this.events.on("file_saved.Editor", function() {
savew.set_message("File saved", 2000);
});
};
return {EditorNotificationArea: EditorNotificationArea};
});