##// END OF EJS Templates
handle zero-length match in v4 completions...
handle zero-length match in v4 completions use start=None instead of `-0` to indicate start == end (which is already None indicating the same value).

File last commit:

r20153:5636d56f
r20389:f6e7ede8
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};
});