31:T435,viewof notebooks = { const $status = html``, $progress = html``, $view = html`

${$progress} ${$status}`, results = new Map, pager = apiPager(`documents/@${user.login}`); let abort = false; invalidation.then(() => { abort = true; $view.style.display = 'none'; }); $view.value = new Promise(async resolve => { $status.value = ''; for await(const r of pager) { if(abort) return; for(const d of r.results) results.set(d.id, d); const current = Math.min(r.total, r.page * r.per_page); $progress.value = current; $progress.max = r.total; $status.value = `Indexed ${current} / ${r.total} results ...`; } $progress.remove(); $status.value = `Indexing complete. ${results.size} published notebooks found.`; $view.prepend(html`✓`) resolve(Array.from(results.values())); }); return $view; }32:T849,function notebookTable(data, options = {}) { const { relativeDate = false, showCreator = false, showOwner = false, showPublished = true, showUpdated = false, showIndex = false, dateColumnType = (relative = false) => ({ width: relative ? '8em' : '11em', format: v => { const d = formatDate(v); return html`${relative ? timeAgo(v) : d}`; }, }), accountColumnType = key => ({ format: (v, i, arr) => !v.length ? '' : themeAccount(arr[i][key]), width: '11em', }), // Adds presentational column names, sortable teams / authors. mapper = objectMapper({ '#': (d, i) => i, author: d => showCreator !== 'always' && d.owner.login === d.creator.login ? '' : d.creator.login, team: d => showOwner !== 'always' && d.owner.login === d.creator.login ? '' : d.owner.login, updated: d => d.update_time, published: d => d.publish_time, comments: d => d.comment_count, fork: d => d.fork_of, }), tableOptions = {} } = options; const table = Inputs.table(data.map(mapper), pluginPerColumnOptions({ columns: { ...(!showIndex ? {} : {'#': {width: '3em', format: v => v}}), title: {format: (v, i, arr) => themeTitle(arr[i])}, ...(!showCreator ? {} : {author: accountColumnType('creator')}), ...(!showOwner ? {} : {team: accountColumnType('owner')}), ...(!showPublished ? {} : {published: dateColumnType(relativeDate)}), ...(!showUpdated ? {} : {updated: dateColumnType(relativeDate)}), version: {width: '4em', format: v => v}, likes: {width: '3em', format: v => v || ''}, comments: {width: '3em', format: v => v || ''}, fork: {width: '3em', align: 'center', format: v => v ? html`✓` : ''}, }, sort: 'published', reverse: true, rows: 30, ...tableOptions, })); pluginVerticalAlign(table); pluginIconHeader(table, {likes: icons.like, comments: icons.comment, fork: icons.fork}); pluginSortEvent(table); return table; }33:T8e7,function themeProfile(user) { const {bio, home_url, name, login, avatar_url} = user, at_name = `@${login}`, home_short = !home_url ? '' : home_url.replace(/^https?:\/\//, ''), ns = DOM.uid().id; const $style = html`