@explorable-viz/fluid 0.7.98 → 0.7.100

package/website/article/shared/sub-header.html

@@ -0,0 +1,12 @@
+<div></div>
+<div></div>
+<div>
+   <h3 class="title">Overview</h3>
+   <nav class="sub-header">
+      <ul>
+         <li><a href="/">Transparent research outputs</a></li>
+         <li><a href="/convolution">Matrix convolution</a></li>
+         <li><a href="/moving-average">Moving average</a></li>
+      </ul>
+   </nav>
+</div>

package/website/article/shared/util.js

@@ -0,0 +1,72 @@
+function loadHeader () {
+   fetch('/shared/header.html')
+      .then(response => response.text())
+      .then(data => {
+         const header = document.createElement('div')
+         header.innerHTML = data
+         activateCurrentLink(header)
+         const divElement = header.children[0]
+         const grid = document.getElementById('grid')
+         grid.parentNode.insertBefore(divElement, grid)
+      })
+      .catch(error => console.error('Error loading shared HTML:', error))
+
+   fetch('/shared/footer.html')
+      .then(response => response.text())
+      .then(data => {
+         const footer = document.createElement('div')
+         footer.innerHTML = data
+         const divElement = footer.children[0]
+         const grid = document.getElementById('grid')
+         grid.parentNode.appendChild(divElement)
+      })
+      .catch(error => console.error('Error loading shared HTML:', error))
+}
+
+function eqPaths (path1, path2) {
+   const trailingSlashes = /\/+$/
+   return path1.replace(trailingSlashes, '') === path2.replace(trailingSlashes, '')
+}
+
+function activateCurrentLink (el) {
+   const listItems = el.querySelectorAll('li')
+   const n_ = Array.from(listItems).findIndex(li => {
+      const link = li.querySelector('a')
+      return link && eqPaths(link.getAttribute('href'), window.location.pathname)
+   })
+   if (n_ !== -1) {
+      listItems[n_].classList.add('active-page')
+   }
+}
+
+function loadSubHeader () {
+   fetch('/shared/sub-header.html')
+      .then(response => response.text())
+      .then(data => {
+         const header = document.createElement('div')
+         header.innerHTML = data
+         activateCurrentLink(header)
+         const divElements = header.children
+         const grid = document.getElementById('grid')
+         for (let i = Math.min(4, divElements.length - 1); i >= 0; --i) {
+            grid.insertBefore(divElements[i], grid.firstChild)
+         }
+      })
+      .catch(error => console.error('Error loading shared HTML:', error))
+}
+
+function toggleDataPane(gridId) {
+   const grid = document.getElementById(gridId)
+   const hidden = grid.classList.contains('data-pane-hidden')
+   const dataPaneButton = document.querySelector('.data-pane-button')
+
+   if (hidden) {
+      grid.classList.remove('data-pane-hidden')
+      dataPaneButton.classList.remove('fa-eye-slash')
+      dataPaneButton.classList.add('fa-eye')
+   } else {
+      grid.classList.add('data-pane-hidden')
+      dataPaneButton.classList.remove('fa-eye')
+      dataPaneButton.classList.add('fa-eye-slash')
+   }
+}

package/website/article/shared/website-test.js

@@ -0,0 +1,41 @@
+#!/usr/bin/env node
+const express = require('express');
+const serve = require('express-static');
+require('http-shutdown').extend();
+
+const app = express();
+
+const root = process.cwd() + '/dist/' + process.argv[2];
+app.use(serve(root));
+
+const server = app.listen(8080, function() {
+  console.log("Serving content from " + root);
+}).withShutdown();
+
+(async () => {
+  try {
+    if (process.argv.length == 4) {
+      module = process.cwd() + process.argv[3];
+    } else {
+      module = root + '/test.mjs';
+    }
+    console.log('Loading Puppeteer test module:', module);
+    import(module).then(({ main }) => {
+      main().then(serverDown);
+    }).catch(err => {
+      console.error("Failed to load PureScript output:", err);
+    });
+  } catch (error) {
+    console.error('Error:', error);
+  }
+})();
+
+function serverDown() {
+  console.log('Shutting down server')
+  server.shutdown(function(err) {
+    if (err) {
+      return console.log('shutdown failed', err.message);
+    }
+    console.log('Everything is cleanly shut down.');
+  });
+}