Automated commit of generated code

Author: github-actions[bot]

core/generated-sources/src/test/kotlin/org/jetbrains/kotlinx/dataframe/explainer/PluginCallbackProxy.kt

@@ -131,7 +131,7 @@ object PluginCallbackProxy : PluginCallback {
         File(korro, group).writeText(
             """
             
-            <dataFrame src="$group.html"/>
+            <inline-frame src="resources/$group.html" width="100%"/>
             """.trimIndent(),
         )
     }

core/generated-sources/src/test/kotlin/org/jetbrains/kotlinx/dataframe/explainer/SampleAggregator.kt

@@ -13,7 +13,7 @@ fun main() {
         .groupBy {
             it.nameWithoutExtension.substringBefore("_")
         }.mapValues { (name, files) ->
-            val target = File("../docs/StardustDocs/snippets")
+            val target = File("../docs/StardustDocs/resources/snippets")
             val original = files
                 .firstOrNull { it.nameWithoutExtension.contains("properties") }
                 ?: files.first()

core/generated-sources/src/test/kotlin/org/jetbrains/kotlinx/dataframe/explainer/SamplesRenderingUtils.kt

@@ -32,6 +32,109 @@ val WritersideStyle = DataFrameHtmlData(
             padding: 6px;
         }
         """.trimIndent(),
+    script =
+        """
+function sendHeight() {
+    let totalHeight = 0;
+
+    document.querySelectorAll('body > details, body > br').forEach(element => {
+        if (element.tagName === 'DETAILS') {
+            totalHeight += getElementHeight(element.querySelector(':scope > summary'));
+
+            if (element.open) {
+                totalHeight += getVisibleContentHeight(element);
+            }
+        } else if (element.tagName === 'BR') {
+            totalHeight += getElementHeight(element);
+        }
+    });
+
+    totalHeight += 10;
+
+    window.parent.postMessage({type: 'iframeHeight', height: Math.ceil(totalHeight)}, '*');
+}
+
+function getVisibleContentHeight(detailsElement) {
+    let height = 0;
+
+    detailsElement.querySelectorAll(':scope > details, :scope > table, :scope > p').forEach(child => {
+        if (child.tagName === 'DETAILS') {
+            const summary = child.querySelector(':scope > summary');
+            height += getElementHeight(summary);
+
+            if (child.open) {
+                height += getDirectVisibleContentHeight(child);
+            }
+        } else if (isElementVisible(child)) {
+            height += getElementHeight(child);
+        }
+    });
+
+    return height;
+}
+
+function getDirectVisibleContentHeight(element) {
+    let height = 0;
+    element.querySelectorAll(':scope > table, :scope > p, :scope > summary').forEach(child => {
+        if (isElementVisible(child)) {
+            height += getElementHeight(child);
+        }
+    });
+    return height;
+}
+
+function getElementHeight(el) {
+    const styles = getComputedStyle(el);
+    const margin = parseFloat(styles.marginTop) + parseFloat(styles.marginBottom);
+    
+    // More reliable cross-browser calculation
+    const rect = el.getBoundingClientRect();
+    return rect.height + margin;
+}
+
+function isElementVisible(el) {
+    return !!(el.offsetWidth || el.offsetHeight || el.getClientRects().length);
+}
+
+function sendInitialHeight() {
+    let initialHeight = 0;
+
+    document.querySelectorAll('body > details, body > br').forEach(element => {
+        if (element.tagName === 'DETAILS') {
+            initialHeight += getElementHeight(element.querySelector(':scope > summary'));
+        } else if (element.tagName === 'BR') {
+            initialHeight += getElementHeight(element);
+        }
+    });
+
+    initialHeight += 10;
+
+    window.parent.postMessage({type: 'iframeHeight', height: Math.ceil(initialHeight)}, '*');
+}
+
+function repeatHeightCalculation(maxRetries = 10, interval = 100) {
+    let retries = 0;
+    const intervalId = setInterval(() => {
+        sendInitialHeight();
+        retries++;
+        if (retries >= maxRetries) clearInterval(intervalId);
+    }, interval);
+}
+
+window.addEventListener('load', () => {
+    repeatHeightCalculation();
+
+
+    document.querySelectorAll('details').forEach(detail => {
+        detail.addEventListener('toggle', () => {
+            setTimeout(sendHeight, 50);
+        });
+    });
+
+    const observer = new MutationObserver(() => setTimeout(sendHeight, 50));
+    observer.observe(document.body, {childList: true, subtree: true, characterData: true});
+});
+        """.trimIndent(),
 )
 
 val WritersideFooter: (DataFrame<*>) -> String = { "" }

core/generated-sources/src/test/kotlin/org/jetbrains/kotlinx/dataframe/samples/api/OtherSamples.kt

@@ -21,7 +21,7 @@ class OtherSamples {
     }
 
     private fun writeTable(df: AnyFrame, name: String) {
-        val dir = File("../docs/StardustDocs/snippets/manual").also { it.mkdirs() }
+        val dir = File("../docs/StardustDocs/resources/snippets/manual").also { it.mkdirs() }
         val html = df.toStandaloneHtml(getFooter = WritersideFooter) + WritersideStyle
         html.writeHtml(File(dir, "$name.html"))
     }