src/devtools/panel.js
/**
     * Add a navigation event to the panel
     *
     * @param navigation
     */
Add a navigation event to the panel
@param navigation
Add a navigation event to the panel @param navigation
function addNavigation(navigation) {
        let request = createElement("div", {
            "classes": ["navigation", "noselect"],
            "text": "Navigated to " + navigation.request.url
        });
        if (!persist) {
            clearRequests();
        }
        recordedData.push(navigation);
        requestPanel.appendChild(request);
    }
function addNavigation ( navigation ) { let request = createElement ( "div" , { "classes" : [ "navigation" , "noselect" ] , "text" : "Navigated to " + navigation . request . url } ) ; if ( ! persist ) { clearRequests ( ) ; } recordedData . push ( navigation ) ; requestPanel . appendChild ( request ) ; }
Add a navigation event to the panel
 @param navigation
Add a navigation event to the panel @param navigation
// check if we need to clear any existing requests out first... // Add it to our data array