91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
-
-
-
-
-
+
+
+
+
+
|
eBtnPrev.addEventListener('click', ()=>cycleLink(-1), false);
eBtnNext.addEventListener('click', ()=>cycleLink(1), false);
/**
We have to adjust the iframe's size dynamically to account for
other widgets around it. iframes don't simply like to fill up all
available space without some help. If #controls only contained
the one SELECT element, CSS would be sufficient, but once we add
text around it, #controls's size becomes unpredictable and we
need JS to calculate it. We do this every time the window size
changes.
available space without some help. If #controlWrapper only
contained the one SELECT element, CSS would be sufficient, but
once we add text around it, #controlWrapper's size becomes
unpredictable and we need JS to calculate it. We do this every
time the window size changes.
*/
// Copied from fossil.dom.js
const effectiveHeight = function f(e){
if(!e) return 0;
if(!f.measure){
f.measure = function callee(e, depth){
if(!e) return;
|