machine/modules/auto-refresh-sk/auto-refresh-sk-demo.ts

import { $$ } from '../../../infra-sk/modules/dom';
import { AutoRefreshSk } from './auto-refresh-sk';
import './index';

const element = $$<AutoRefreshSk>('auto-refresh-sk', document)!;

// Force into a known value at start.
element.refreshing = false;

// Display refresh-page events and when they occur.
element.addEventListener('refresh-page', (e) => {
  document.querySelector('#events')!.textContent = `${JSON.stringify(
    e,
    null,
    '  '
  )}\n${Date.now()}`;
});