From 3995d5688db920698444016f854fc7b57fae3e62 Mon Sep 17 00:00:00 2001
From: JoostBuitink <JoostBuitink@users.noreply.github.com>
Date: Wed, 13 Nov 2024 08:53:41 +0000
Subject: [PATCH] deploy: d6a442a4714aed29b7ae9c5e6e4621fac1426e36

---
 quarto/_static/version.js | 59 +++++++++++++++++++++------------------
 1 file changed, 32 insertions(+), 27 deletions(-)

diff --git a/quarto/_static/version.js b/quarto/_static/version.js
index 10c701df8..e31243dc2 100644
--- a/quarto/_static/version.js
+++ b/quarto/_static/version.js
@@ -45,7 +45,7 @@ window.onload = function () {
                 // Create a new a element
                 const a = document.createElement('a');
                 a.className = 'dropdown-item';
-                a.href = item.url; // Use the 'url' property as the href
+                a.href = item.href; // Use the 'url' property as the href
                 a.textContent = item.name; // Use the 'name' property as the text
 
                 // Add the a element to the li
@@ -94,7 +94,7 @@ window.onload = function () {
 
                     // Get the clicked item's text
                     var itemText = this.textContent;
-                    // var itemHref = this.getAttribute('href')
+                    var itemHref = this.getAttribute('href')
 
                     // Loop through each dropdown item again to find a match in the current page's path
                     for (var j = 0; j < dropdownItems.length; j++) {
@@ -102,31 +102,36 @@ window.onload = function () {
                         var dropdownText = dropdownItems[j].textContent;
                         console.log('Dropdown item:', dropdownText);
 
-                        // Find the index of the dropdownText in the current page's path
-                        var index = currentPagePath.indexOf(dropdownText);
-
-                        // If the dropdownText is found in the current page's path
-                        if (index !== -1) {
-                            // Construct the new URL relative to the dropdownText and append the itemText
-                            addElements = currentPagePath.slice(index + 1,)
-                            relativePath = '../'.repeat(addElements.length)
-                            var newUrl = relativePath + itemText + '/' + addElements.join('/')
-                            console.log('Clicked item:', newUrl);
-
-                            // Redirect to the new URL
-                            checkPathExists(newUrl)
-                                .then(exists => {
-                                    if (exists) {
-                                        window.location.href = newUrl;
-                                    } else {
-                                        console.log('Path does not exist, referring to home page');
-                                        window.location.href = relativePath + itemText + '/';
-                                    }
-                                })
-
-                            // Exit the loop
-                            break;
-                        }
+                        window.location.href = itemHref;
+
+                        // The code below is taken from Delft-FIAT, and is in place to switch
+                        // to the same page but on a different version (if that exists). This
+                        // is currently overruled with the line above this comment, which
+                        // redirects to the new URL (home page).
+
+                        // // Find the index of the dropdownText in the current page's path
+                        // var index = currentPagePath.indexOf(dropdownText);
+                        // // If the dropdownText is found in the current page's path
+                        // if (index !== -1) {
+                        //     // Construct the new URL relative to the dropdownText and append the itemText
+                        //     addElements = currentPagePath.slice(index + 1,)
+                        //     var newUrl = itemHref + '/' + addElements.join('/')
+                        //     console.log('Clicked item:', newUrl);
+                        //     window.location.href = itemHref;
+                        //     // // Redirect to the new URL
+                        //     // checkPathExists(newUrl)
+                        //     //     .then(exists => {
+                        //     //         if (exists) {
+                        //     //             window.location.href = newUrl;
+                        //     //         } else {
+                        //     //             console.log('Path does not exist, referring to home page');
+                        //     //             window.location.href = itemHref;
+                        //     //         }
+                        //     //     })
+
+                        //     // Exit the loop
+                        //     break;
+                        // }
                     }
                 });
             }