##// END OF EJS Templates
Set page title for editor
Set page title for editor

File last commit:

r19017:d390b9ae
r19018:7437382d
Show More
notificationarea.js
34 lines | 1006 B | application/javascript | JavascriptLexer
define([
'base/js/namespace',
'jquery',
'base/js/utils',
'base/js/dialog',
'base/js/notificationarea',
'moment'
], function(IPython, $, utils, dialog, notificationarea, moment) {
"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 enw = this.new_notification_widget('editor');
this.events.on("save_succeeded.TextEditor", function() {
enw.set_message("File saved", 2000);
});
};
return {EditorNotificationArea: EditorNotificationArea};
});