Function closeTab

wvbrowser_ui/controls_ui/tabs.js:99–134

(id)

}

function closeTab(id) {
    // If closing tab was active, switch tab or close window
    if (id == activeTabId) {
        if (tabs.size == 1) {
            // Last tab is closing, shut window down
            tabs.delete(id);
            closeWindow();
            return;
        }

        // Other tabs are open, switch to rightmost tab
        var tabsEntries = Array.from(tabs.entries());
        var lastEntry = tabsEntries.pop();
        if (lastEntry[0] == id) {
            lastEntry = tabsEntries.pop();
        }
        switchToTab(lastEntry[0], true);
    }

    // Remove tab element
    var tabElement = document.getElementById(`tab-${id}`);
    if (tabElement) {
        tabElement.parentNode.removeChild(tabElement);
    }
    // Remove tab from map
    tabs.delete(id);

    var message = {
        message: commands.MG_CLOSE_TAB,
        args: {
            tabId: id
        }
    };

    window.chrome.webview.postMessage(message);
}

function updateFaviconURI(tabId, src) {
    let tab = tabs.get(tabId);