efront 4.11.6 → 4.12.0

package/coms/zimoli/tree.js

@@ -323,13 +323,24 @@ function tree() {
             var limit = useLimit && top + h > limitHeight;
             css(p, {
                 position: 'sticky',
+                zIndex: 2,
                 top: limit ? limitHeight - h : top, zIndex: 3 - limit
             });
             top += h;
         });
         stickys.top = top;
     }
+    var unSticky = function () {
+        stickys.forEach(s => {
+            css(s, {
+                position: '',
+                top: '',
+                zIndex: 1
+            })
+        })
+    }
     var refresh = function () {
+        unSticky();
         var index = banner.index();
         var needremoves = dom.map(d => d.$target).filter(d => !!d);
         dom = getArrayFromTree(root, banner.joined);

package/coms/zimoli/view.js

@@ -92,8 +92,12 @@ var init = function () {
 };
 var resize2 = function () {
     var [head, body, foot] = getTypedChildren(this, ["head", "body", "foot"]);
-    if (head && body) {
+    var changed = false;
+    a: if (head && body) {
         var height = head.offsetHeight + head.offsetTop;
+        if (head.$height === height) break a;
+        head.$height = height;
+        changed = true;
         css(head, {
             marginBottom: fromOffset(-height),
         })
@@ -101,8 +105,11 @@ var resize2 = function () {
             paddingTop: fromOffset(height - body.clientTop)
         });
     }
-    if (foot && body) {
+    a: if (foot && body) {
         var height = foot.offsetHeight;
+        if (foot.$height === height) break a;
+        foot.$height = height;
+        changed = true;
         css(body, {
             paddingBottom: fromOffset(height)
         });
@@ -110,13 +117,11 @@ var resize2 = function () {
             marginTop: fromOffset(-height)
         })
     }
-    if (body) {
+    if (changed) {
+        css(body, { height: '' });
         if (body.scrollHeight + body.offsetTop > this.clientHeight + 1) {
             css(body, { height: fromOffset(this.clientHeight) });
         }
-        else {
-            css(body, { height: '' });
-        }
     }
 };
 function view(element) {

package/coms//350/214/250/350/217/260//346/270/262/346/237/223.js

@@ -9,7 +9,7 @@ var rows = function (type, text) {
         console.log(text)
         return [];
     }
-    type = type.toLowerCase();
+    type = String(type).toLowerCase();
     if (type in 语言) {
         var c = 语言[type](text);
         标签化(c, encode);

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "efront",
-    "version": "4.11.6",
+    "version": "4.12.0",
     "description": "简化前端开发，优化web性能",
     "main": "public/efront.js",
     "directories": {