Function pushState

docs/app/js/sanddance-app.js:149566–149573

(encode, parent, lookup1)

    },
    // ----
    pushState (encode, parent, lookup1) {
        this._encode.push(ref(this.add(Sieve({
            pulse: encode
        }))));
        this._parent.push(parent);
        this._lookup.push(lookup1 ? ref(this.proxy(lookup1)) : null);
        this._markpath.push(-1);
    },
    popState () {
        this._encode.pop();
        this._parent.pop();