function topNavSession($menuset) {
        global $CFG;
        $export = $menuset->export();
        $sess_key = 'tsugi_top_nav_'.$CFG->wwwroot;
        if ( $this->session_get($sess_key) !== $export) {
            $this->session_put($sess_key, $export);
        }
    }