| listen('post', () => {State.unseen += !document.hasFocus(); updateTitle()}) | listen('post', () => {State.unseen += !document.hasFocus(); updateTitle()}) | ||||
| listen('focus', () => {State.unseen = 0; updateTitle()}) | listen('focus', () => {State.unseen = 0; updateTitle()}) | ||||
| const updateTitle = () => { | const updateTitle = () => { | ||||
| document.title = `Pico.Chat` + (State.unseen ? ` (${State.unseen})` : ``) | |||||
| document.title = `pico.chat` + (State.unseen ? ` (${State.unseen})` : ``) | |||||
| } | } | ||||
| /* | /* | ||||
| vnode.dom.scrollIntoView() | vnode.dom.scrollIntoView() | ||||
| } | } | ||||
| const toggleFullscreen = (el) => (event) => { | const toggleFullscreen = (el) => (event) => { | ||||
| document.fullscreenElement ? document.exitFullscreen() : el.requestFullscreen() | |||||
| const requestFullscreen = (el.requestFullscreen || el.webkitRequestFullscreen).bind(el) | |||||
| document.fullscreenElement ? document.exitFullscreen() : requestFullscreen() | |||||
| } | } | ||||
| const prettyTime = (ts) => { | const prettyTime = (ts) => { | ||||
| const dt = new Date(ts) | const dt = new Date(ts) |