##// END OF EJS Templates
a few 1 pixel fixes....
a few 1 pixel fixes. this uses the same html/css structure acroos the tabs, and reduce the overlay click zone that expended the size of the header to 25px instead of 24px

File last commit:

r19074:a613289c
r19703:6879cac4
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};
});