function flush() { document.documentElement.offsetHeight; }
var text = document.getElementById("display");
// layout text, caching monospace font
text.style.fontFamily = "monospace";
flush();
// relayout text so that monospace font is no longer used (but cached)
text.style.fontFamily = "sans-serif";
flush();
// reuse font that was flushed from cache
text.style.fontFamily = "monospace";
flush();
ok(true, "not crashed");
</script>
</pre>
</body>
</html>
Messung V0.5
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.20Bemerkung:
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.