www/script/notification.js


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

/******************************************************************************/
/** Notification Management ***************************************************/
/******************************************************************************/
var tacticians_online = tacticians_online || new Object();

tacticians_online.notification = new Object();

tacticians_online.notification.activate =
function ()
{
   browser.browserAction.setBadgeText({text: "!"});
}

tacticians_online.notification.disable =
function (encoded_notification)
{
   browser.browserAction.setBadgeText({text: ""});
}

tacticians_online.notification.attach_to =
function (app)
{
   app.ports.activate_notification.subscribe
   (
      tacticians_online.notification.activate
   );
   app.ports.disable_notification.subscribe
   (
      tacticians_online.notification.disable
   );
}