decrease rerender timeout

Hunter
Friday, July 11th, 2025 at 11:36 AM


index.html+1-1
index.html
252  						EditorView.updateListener.of((update) => {
253  							if (update.docChanged) {
254  								clearTimeout(updateTimer);
    -								updateTimer = setTimeout(updatePreview, 1000);
255 +								updateTimer = setTimeout(updatePreview, 750);
256  								saveToStorage();
257  							}
258  						})