export function push(type, message): void {
  const n = { type: type, message: message, timestamp: Date.now() };
  notifications.add(n);
  m.redraw();
  setTimeout(() => {
    notifications.delete(n);
    m.redraw();
  }, 4000);
}

 _vnode.dom.onclick = e => {
   overlay.open(() => {
     return m("textarea.long-text", {
       value: text,
       cols: 80,
       rows: 24,
       readonly: "",
       oncreate: vnode2 => {
         (vnode2.dom as HTMLTextAreaElement).focus();
         (vnode2.dom as HTMLTextAreaElement).select();
       }
     });
   });
   // prevent index page selection
   e.stopPropagation();
   m.redraw();
 };

 const onDragStart = (
   e: MouseEvent & MithrilEvent,
   vnode: m.Vnode<HandleAttrs>,
 ) => {
   if (e.button === 0) {
     stop(e)
     dragStart = {
       x: e.clientX,
       y: e.clientY,
     }
     offset = {
       ...vnode.attrs.userOffset,
     }
     window.addEventListener('mousemove', onDrag)
     window.addEventListener('mouseup', onDragEnd)
     m.redraw()
   }
 }

 setTimeout(() => {
   setRequestedSupply(null);
   redraw();
 }, 1e3);

 const mousemove = (e2: MouseEvent) => {
     this.state.x = Math.max(x + e2.screenX - e1.screenX, 0);
     this.state.y = Math.max(y + e2.screenY - e1.screenY, 0);
     m.redraw();
 };

 store.fulfill(lastRenderTimestamp, pageVisitTimestamp).then(updated => {
   if (updated) m.redraw();
 });

 document.addEventListener("keydown", event => {
   if (event.code === "Escape") {
     this.setNewGame();
     m.redraw();
   }
 });

	setTimeout(() => {
		m.redraw();
		console.assert(count === 2);
	}, FRAME_BUDGET);

 setTimeout(() => {
   notifications.delete(n);
   m.redraw();
 }, 4000);