以下の断片をDevHub.min.jsに組み込みました。
そもそもとしては、libs/client.jsのprepend_msgに組み込む感じが正しい。
var havePermission = window.webkitNotifications.checkPermission();
if (havePermission == 0) {
var notification = window.webkitNotifications.createNotification(
'favicon.ico',
a.name + ' からのDevHub新着!',
a.msg
);
notification.onclick = function () {
notification.close();
}
notification.show();
} else {
window.webkitNotifications.requestPermission();
}
組み込み場所としては
var b=get_msg_html(a)
の次にいれました。
とりあえず動けばいいやという感じなので、各種エラー対処に関しては微妙です。
素晴らしいです! よく min を解析されましたね...
client.js に入れさせていただきます。