if (window != top && location.href.indexOf("hosted.html") >= 0) { | |
var port = chrome.extension.connect(); | |
port.onMessage.addListener(function(msg) { | |
if (msg.name == "tabId") { | |
var doc = window.document; | |
var div = document.createElement("div"); | |
div.id = "$__gwt_tab_id"; | |
div.textContent = "" + msg.tabId; | |
doc.body.appendChild(div); | |
// console.log("record_tab_id.js " + msg.tabId); | |
} | |
}); | |
} |