checkpoint

Author: Breck Yunits

404.scroll

@@ -1,10 +1,11 @@
 permalink 404.html
-replace BASE_URL 
+replace BASE_URL .
+title Page not found
 viewSourceBaseUrl https://github.com/breck7/pldb/blob/main/
 
 import header.scroll
 
-title Page not found
+printTitle
 thinColumns 1
 
 Sorry, the url you requested was not found.
@@ -14,7 +15,7 @@ extendedNotFoundParser
  // Make the path absolute in prod so it works even on nested folders.
  // Of course, getting this to work for locally built sites and www sites is tricky.
  // Only reason it is useful locally is for testing though, so for now,
- // for this page, just make it work on www. 
+ // for this page, just make it work on www.
  string requireOnce
   <script defer src="/helpfulNotFound.js"></script>
 

Computer.js

@@ -706,10 +706,9 @@ pipeTable
 
     return `import ../header.scroll
 baseUrl https://pldb.io/concepts/
-title ${title}
-
 title ${title} - ${lodash.upperFirst(typeName)}
- hidden
+
+printTitle ${title}
 
 html
  <a class="trueBaseThemePreviousItem" href="${this.prevPage}">&lt;</a>
@@ -1415,10 +1414,8 @@ class Feature {
 
     return `import header.scroll
 
-title ${title}
-
 title ${title} - language feature
- hidden
+printTitle ${title}
 
 html
  <a class="trueBaseThemePreviousItem" href="${previous.permalink}">&lt;</a>
@@ -1971,7 +1968,7 @@ class MeasureComputer {
       .forEach((obj, index) => {
         const rank = { ...obj }
         rank.index = index + 1
-        this.languageRanks[obj.filename] = obj
+        this.languageRanks[obj.filename] = rank
       })
   }
 

citation.scroll

@@ -1,5 +1,4 @@
 importOnly
-
 replaceJs CURRENT_YEAR dayjs().format("YYYY")
 
 ## Citation
@@ -16,4 +15,4 @@ code
    journal = {PLDB},
    year = {CURRENT_YEAR},
    note = {https://pldb.io}
-  }
+  }

code/ciBadges.scroll

@@ -1,2 +1,3 @@
 importOnly
+
 <a href="https://github.com/breck7/pldb/actions/workflows/didTheTestsPass.yml"><img src="https://github.com/breck7/pldb/actions/workflows/didTheTestsPass.yml/badge.svg"/></a>

code/generateFeaturePages.scroll

@@ -1,7 +1,6 @@
 importOnly
-
-// Very hacky but this builds the Scroll files in the features/ folder just in time.
 replaceNodejs
+ // Very hacky but this builds the Scroll files in the features/ folder just in time.
  const {Tables} = require("../Computer.js")
  Tables.writeAllFeaturePages()
- module.exports = {}
+ module.exports = {}

download.scroll

@@ -1,5 +1,10 @@
-import rootHeader.scroll
 title PLDB.CSV
+writeConcepts pldb.csv pldb.json pldb.tsv pldb.js
+ sortBy rank
+writeMeasures measures.tsv measures.csv measures.json measures.js
+
+import rootHeader.scroll
+printTitle
 
 css
  .scrollTable td {
@@ -15,15 +20,12 @@ Download the PLDB concept database as: CSV | TSV | JSON
 
 import measures/pldbMeasures.scroll
 loadConcepts concepts
-writeConcepts pldb.csv pldb.json pldb.tsv pldb.js
- sortBy rank
 
 Statistics on the measures (columns) are below and can be downloaded as: CSV | TSV | JSON
  link measures.csv CSV
  link measures.tsv TSV
  link measures.json JSON
-writeMeasures measures.tsv measures.csv measures.json measures.js
 printMeasures
 tableSearch
 
-import footer.scroll
+import footer.scroll

features/header.scroll

@@ -1,4 +1,5 @@
 importOnly
+groups All
+
 import settings.scroll
 import ../header.scroll
-groups All

features/settings.scroll

@@ -1,4 +1,4 @@
 importOnly
+baseUrl https://pldb.io/features/
 replace BASE_URL ..
 viewSourceBaseUrl https://github.com/breck7/pldb/blob/main/features/
-baseUrl https://pldb.io/features/

features/sitemap.scroll

@@ -1,3 +1,4 @@
 permalink sitemap.txt
+
 import settings.scroll
 printSiteMap All

footer.scroll

@@ -1,4 +1,5 @@
 importOnly
+
 viewSource
 
 copyButtons
@@ -27,4 +28,4 @@ stumpNoSnippet
    href mailto:feedback@pldb.io
 
 <script src="BASE_URL/lists/autocompleteCombined.js"></script>
-<script>document.addEventListener("DOMContentLoaded", evt => initAutocomplete("trueBaseThemeHeaderSearch"))</script>
+<script>document.addEventListener("DOMContentLoaded", evt => initAutocomplete("trueBaseThemeHeaderSearch"))</script>