ui.js
/**
     * Adds to the URL the new path (does not draw anything until reconstruct is called).
     * @param {string[]} path - Array containing the path to add
    */
Adds to the URL the new path (does not draw anything until reconstruct is called).
@param {string[]} path - Array containing the path to add
Adds to the URL the new path ( does not draw anything until reconstruct is called ) . @param { string [] } path - Array containing the path to add
pushSection(path) {
        this.order++;
        path = path.filter(entry => entry !== ""); 
        var url = window.location.href;
        path.forEach((n) => {
            url += "/" + n;
        });
        path = this.section().concat(path);
        var title = this.onTitle(path);
        document.title = title;
        history.pushState({
            order: this.order,
            session: this.session,
            title: title
        }, title, url);
        this.state = path;
    }
pushSection ( path ) { this . order ++ ; path = path . filter ( entry => entry !== "" ) ; var url = window . location . href ; path . forEach ( ( n ) => { url += "/" + n ; } ) ; path = this . section ( ) . concat ( path ) ; var title = this . onTitle ( path ) ; document . title = title ; history . pushState ( { order : this . order , session : this . session , title : title } , title , url ) ; this . state = path ; }
Adds to the URL the new path (does not draw anything until reconstruct is called).
Adds to the URL the new path ( does not draw anything until reconstruct is called ) .
//beware those empty