# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1717518278 -7200
# Node ID 58881e1e4a759fc0128a838bbce7d24893a12cd3
# Parent  95f169ac02076d821592c68a6f3803d0b6604a30
web app: proper document height;

diff -r 95f169ac0207 -r 58881e1e4a75 src/Pure/System/web_app.scala
--- a/src/Pure/System/web_app.scala	Tue Jun 04 18:08:47 2024 +0200
+++ b/src/Pure/System/web_app.scala	Tue Jun 04 18:24:38 2024 +0200
@@ -372,7 +372,7 @@
 (function() {
   window.addEventListener('message', (event) => {
     if (Number.isInteger(event.data)) {
-      this.style.height=event.data + 32 + 'px'
+      this.style.height=event.data + 'px'
     }
   })
 }).call(this)"""
@@ -417,11 +417,11 @@
 }
 heartbeat()""") :: head
 
+        val on_load = "parent.postMessage(document.documentElement.scrollHeight, '*')"
+
         html(
           XML.elem("head", HTML.head_meta :: head1),
-          XML.Elem(
-            Markup("body", List("onLoad" -> "parent.postMessage(document.body.scrollHeight, '*')")),
-            content))
+          XML.Elem(Markup("body", List("onLoad" -> on_load)), content))
       }
     }