diff options
Diffstat (limited to 'tools/gui/resources/web/definitions.js')
| -rw-r--r-- | tools/gui/resources/web/definitions.js | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/tools/gui/resources/web/definitions.js b/tools/gui/resources/web/definitions.js index 75ef509..846bbc9 100644 --- a/tools/gui/resources/web/definitions.js +++ b/tools/gui/resources/web/definitions.js @@ -53,12 +53,15 @@ let Popup = { }; let Notifications = { - init: function () { - Notification.requestPermission(); + init: function (container) { + this._container = container; }, show: function (text, title) { - new Notification(title || "", {body: text}); + let now = new Date(); + this._container.html(this._container.html() + now.getHours() + ":" + now.getMinutes() + ":" + now.getSeconds() + + " <b>" + (title || "") + "</b><br>" + text + "<br><br>"); + this._container.animate({scrollTop: this._container[0].scrollHeight}, {duration: 500, queue: false}); }, showFail: function (e) { |