##// END OF EJS Templates
setting an option to null sets the default in CodeMirror...
setting an option to null sets the default in CodeMirror matching the unset behavior in config

File last commit:

r19074:a613289c
r19311:9c060bc5
Show More
notificationarea.js
29 lines | 875 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 enw = this.new_notification_widget('editor');
this.events.on("save_succeeded.TextEditor", function() {
enw.set_message("File saved", 2000);
});
};
return {EditorNotificationArea: EditorNotificationArea};
});