()
| 263 | |
| 264 | // Show active tab's favicon in the address bar |
| 265 | function updateFavicon() { |
| 266 | if (activeTabId == INVALID_TAB_ID) { |
| 267 | return; |
| 268 | } |
| 269 | |
| 270 | let activeTab = tabs.get(activeTabId); |
| 271 | |
| 272 | let faviconElement = document.getElementById('img-favicon'); |
| 273 | if (!faviconElement) { |
| 274 | refreshControls(); |
| 275 | return; |
| 276 | } |
| 277 | |
| 278 | faviconElement.src = activeTab.favicon; |
| 279 | |
| 280 | } |
| 281 | |
| 282 | // Update back and forward buttons for the active tab |
| 283 | function updateBackForwardButtons() { |
no test coverage detected