deploy: 07c0317

jow- · Oct 19, 2023 · a6e679a · a6e679a
1 parent da8eec4
commit a6e679a
Show file tree

Hide file tree

Showing 40 changed files with 9,584 additions and 9,600 deletions.
diff --git a/index.html b/index.html
diff --git a/lib.c.html b/lib.c.html
diff --git a/lib_debug.c.html b/lib_debug.c.html
diff --git a/lib_fs.c.html b/lib_fs.c.html
diff --git a/lib_log.c.html b/lib_log.c.html
diff --git a/lib_math.c.html b/lib_math.c.html
diff --git a/lib_struct.c.html b/lib_struct.c.html
diff --git a/lib_uci.c.html b/lib_uci.c.html
diff --git a/module-core.html b/module-core.html
diff --git a/module-debug.html b/module-debug.html
diff --git a/module-fs.dir.html b/module-fs.dir.html
diff --git a/module-fs.file.html b/module-fs.file.html
diff --git a/module-fs.html b/module-fs.html
diff --git a/module-fs.proc.html b/module-fs.proc.html
diff --git a/module-log.html b/module-log.html
diff --git a/module-math.html b/module-math.html
diff --git a/module-struct.html b/module-struct.html
diff --git a/module-struct.instance.html b/module-struct.instance.html
diff --git a/module-uci.cursor.html b/module-uci.cursor.html
diff --git a/module-uci.html b/module-uci.html
diff --git a/scripts/core.js b/scripts/core.js
diff --git a/scripts/core.min.js b/scripts/core.min.js
diff --git a/scripts/resize.js b/scripts/resize.js
@@ -1,90 +1,90 @@
-/* global document */
-// This file is @deprecated
-
-var NAVBAR_OPTIONS = {};
-
-(function() {
-  var NAVBAR_RESIZE_LOCAL_STORAGE_KEY = 'NAVBAR_RESIZE_LOCAL_STORAGE_KEY';
-
-  var navbar = document.querySelector('#navbar');
-  var footer = document.querySelector('#footer');
-  var mainSection = document.querySelector('#main');
-  var localStorageResizeObject = JSON.parse(
-    // eslint-disable-next-line no-undef
-    localStorage.getItem(NAVBAR_RESIZE_LOCAL_STORAGE_KEY)
-  );
-
-  /**
-     * Check whether we have any resize value in local storage or not.
-     * If we have resize value then resize the navbar.
-     **/
-  if (localStorageResizeObject) {
-    navbar.style.width = localStorageResizeObject.width;
-    mainSection.style.marginLeft = localStorageResizeObject.width;
-    footer.style.marginLeft = localStorageResizeObject.width;
-  }
-
-  var navbarSlider = document.querySelector('#navbar-resize');
-
-  function resizeNavbar(event) {
-    var pageX = event.pageX,
-      pageXPlusPx = event.pageX + 'px',
-      min = Number.parseInt(NAVBAR_OPTIONS.min, 10) || 300,
-      max = Number.parseInt(NAVBAR_OPTIONS.max, 10) || 600;
-
-    /**
-         * Just to add some checks. If min is smaller than 10 then
-         * user may accidentally end up reducing the size of navbar
-         * less than 10. In that case user will not able to resize navbar
-         * because navbar slider will be hidden.
-         */
-    if (min < 10) {
-      min = 10;
-    }
-
-    /**
-         * Only resize if pageX in range between min and max
-         * allowed value.
-         */
-    if (min < pageX && pageX < max) {
-      navbar.style.width = pageXPlusPx;
-      mainSection.style.marginLeft = pageXPlusPx;
-      footer.style.marginLeft = pageXPlusPx;
-    }
-  }
-
-  function setupEventListeners() {
-    // eslint-disable-next-line no-undef
-    window.addEventListener('mousemove', resizeNavbar);
-    // eslint-disable-next-line no-undef
-    window.addEventListener('touchmove', resizeNavbar);
-  }
-
-  function afterRemovingEventListeners() {
-    // eslint-disable-next-line no-undef
-    localStorage.setItem(
-      NAVBAR_RESIZE_LOCAL_STORAGE_KEY,
-      JSON.stringify({
-        width: navbar.style.width
-      })
-    );
-  }
-
-  function removeEventListeners() {
-    // eslint-disable-next-line no-undef
-    window.removeEventListener('mousemove', resizeNavbar);
-    // eslint-disable-next-line no-undef
-    window.removeEventListener('touchend', resizeNavbar);
-    afterRemovingEventListeners();
-  }
-
-  navbarSlider.addEventListener('mousedown', setupEventListeners);
-  navbarSlider.addEventListener('touchstart', setupEventListeners);
-  // eslint-disable-next-line no-undef
-  window.addEventListener('mouseup', removeEventListeners);
-})();
-
-// eslint-disable-next-line no-unused-vars
-function setupResizeOptions(options) {
-  NAVBAR_OPTIONS = options;
-}
+/* global document */
+// This file is @deprecated
+
+var NAVBAR_OPTIONS = {};
+
+(function() {
+  var NAVBAR_RESIZE_LOCAL_STORAGE_KEY = 'NAVBAR_RESIZE_LOCAL_STORAGE_KEY';
+
+  var navbar = document.querySelector('#navbar');
+  var footer = document.querySelector('#footer');
+  var mainSection = document.querySelector('#main');
+  var localStorageResizeObject = JSON.parse(
+    // eslint-disable-next-line no-undef
+    localStorage.getItem(NAVBAR_RESIZE_LOCAL_STORAGE_KEY)
+  );
+
+  /**
+     * Check whether we have any resize value in local storage or not.
+     * If we have resize value then resize the navbar.
+     **/
+  if (localStorageResizeObject) {
+    navbar.style.width = localStorageResizeObject.width;
+    mainSection.style.marginLeft = localStorageResizeObject.width;
+    footer.style.marginLeft = localStorageResizeObject.width;
+  }
+
+  var navbarSlider = document.querySelector('#navbar-resize');
+
+  function resizeNavbar(event) {
+    var pageX = event.pageX,
+      pageXPlusPx = event.pageX + 'px',
+      min = Number.parseInt(NAVBAR_OPTIONS.min, 10) || 300,
+      max = Number.parseInt(NAVBAR_OPTIONS.max, 10) || 600;
+
+    /**
+         * Just to add some checks. If min is smaller than 10 then
+         * user may accidentally end up reducing the size of navbar
+         * less than 10. In that case user will not able to resize navbar
+         * because navbar slider will be hidden.
+         */
+    if (min < 10) {
+      min = 10;
+    }
+
+    /**
+         * Only resize if pageX in range between min and max
+         * allowed value.
+         */
+    if (min < pageX && pageX < max) {
+      navbar.style.width = pageXPlusPx;
+      mainSection.style.marginLeft = pageXPlusPx;
+      footer.style.marginLeft = pageXPlusPx;
+    }
+  }
+
+  function setupEventListeners() {
+    // eslint-disable-next-line no-undef
+    window.addEventListener('mousemove', resizeNavbar);
+    // eslint-disable-next-line no-undef
+    window.addEventListener('touchmove', resizeNavbar);
+  }
+
+  function afterRemovingEventListeners() {
+    // eslint-disable-next-line no-undef
+    localStorage.setItem(
+      NAVBAR_RESIZE_LOCAL_STORAGE_KEY,
+      JSON.stringify({
+        width: navbar.style.width
+      })
+    );
+  }
+
+  function removeEventListeners() {
+    // eslint-disable-next-line no-undef
+    window.removeEventListener('mousemove', resizeNavbar);
+    // eslint-disable-next-line no-undef
+    window.removeEventListener('touchend', resizeNavbar);
+    afterRemovingEventListeners();
+  }
+
+  navbarSlider.addEventListener('mousedown', setupEventListeners);
+  navbarSlider.addEventListener('touchstart', setupEventListeners);
+  // eslint-disable-next-line no-undef
+  window.addEventListener('mouseup', removeEventListeners);
+})();
+
+// eslint-disable-next-line no-unused-vars
+function setupResizeOptions(options) {
+  NAVBAR_OPTIONS = options;
+}