From 3c35a71879c33f2d0caf5edd45ccc4abfefa73e0 Mon Sep 17 00:00:00 2001 From: Q Date: Wed, 27 Sep 2023 20:28:43 +0300 Subject: [PATCH] do not do initial fold, if not set by cookie --- index.html | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/index.html b/index.html index 15df34c..35b43aa 100644 --- a/index.html +++ b/index.html @@ -628,15 +628,6 @@ function fold_initial() { fold_set_state(state); return; } - var slides = document.getElementsByClassName("head"); - for (var i = 0; i < slides.length; i++) { - var el = slides.item(i); - var rect = el.getBoundingClientRect(); - if (window.innerHeight * 1.5 < rect.top) { - var name = el.id.replace("head_", ""); - fold_toggle(name); - } - } } function fold_get_state() { @@ -691,6 +682,7 @@ var config = { search: true, // include search bar style: null, // file to load css from favicon: null, // link to favicon file + foldCategories: true }; // TEMPLATED:HIGHLIGHT_CODE // TEMPLATED:CONFIG