fix: add fun fact

Reviewed-on: https://codeberg.org/uzu/strudel/pulls/1807

packages/codemirror/codemirror.mjs

@@ -24,6 +24,7 @@ import { sliderPlugin, updateSliderWidgets } from './slider.mjs';
 import { activateTheme, initTheme, theme } from './themes.mjs';
 import { isTooltipEnabled } from './tooltip.mjs';
 import { updateWidgets, widgetPlugin } from './widget.mjs';
+import { jumpToCharacter } from './labelJump.mjs';
 
 export { toggleBlockComment, toggleBlockCommentByLine, toggleComment, toggleLineComment } from '@codemirror/commands';
 
@@ -119,6 +120,14 @@ export function initEditor({ initialCode = '', onChange, onEvaluate, onStop, roo
             preventDefault: true,
             run: () => onStop?.(),
           },
+          {
+            key: 'Alt-w',
+            run: (view) => jumpToCharacter(view, '$', 1),
+          },
+          {
+            key: 'Alt-q',
+            run: (view) => jumpToCharacter(view, '$', -1),
+          },
           /* {
             key: 'Ctrl-Shift-.',
             run: () => (onPanic ? onPanic() : onStop?.()),

packages/codemirror/labelJump.mjs

@@ -0,0 +1,31 @@
+import { EditorSelection } from '@codemirror/state';
+import { SearchCursor } from '@codemirror/search';
+
+export function jumpToCharacter(view, character, direction = 1) {
+  const { state, dispatch } = view;
+  const pos = state.selection.main.head;
+  const cursor = new SearchCursor(state.doc, character);
+
+  let characterPositions = [];
+  let jumpPos;
+  while (!cursor.next().done) {
+    characterPositions.push(cursor.value.to);
+  }
+  if (!characterPositions.length) {
+    return false;
+  }
+  if (direction > 0) {
+    jumpPos = characterPositions.find((x) => x > pos + 1) ?? characterPositions.at(0); // Loop back around for convenience
+  } else {
+    jumpPos = characterPositions.reverse().find((x) => x < pos + 1) ?? characterPositions.at(0);
+  }
+
+  if (jumpPos == null) {
+    return false;
+  }
+  dispatch({
+    selection: EditorSelection.cursor(jumpPos - 1),
+    scrollIntoView: true,
+  });
+  return true;
+}

packages/core/pattern.mjs

@@ -26,7 +26,6 @@ import {
 } from './util.mjs';
 import drawLine from './drawLine.mjs';
 import { errorLogger, logger } from './logger.mjs';
-import { strudelScope } from './evaluate.mjs';
 
 let stringParser;
 
@@ -1684,9 +1683,7 @@ export function register(name, func, patternify = true, preserveSteps = false, j
 
   // toplevel functions get curried as well as patternified
   // because pfunc uses spread args, we need to state the arity explicitly!
-  const curried = curry(pfunc, null, arity);
-  strudelScope[name] = curried;
-  return curried;
+  return curry(pfunc, null, arity);
 }
 
 // Like register, but defaults to stepJoin

warm.js

@@ -1,14 +1,30 @@
-fetch('https://codeberg.org/api/v1/repos/uzu/strudel/pulls?state=closed&page=1')
-  .then((res) => res.json())
-  .then((pulls) => {
-    const r = pulls
-      .filter((pull) => pull.merged)
-      .sort((a, b) => new Date(b.closed_at) - new Date(a.closed_at))
-      .map((pull) => `${pull.closed_at} ${pull.title} by ${pull.user.login || '?'} in: [#${pull.number}](${pull.url}) `)
-      .join('\n');
-    console.log(r);
-  });
+// this script loads all merged PRs within the given page range
+// it can be used to update the CHANGELOG.md file in a semi-automated way
+// the problem: codeberg doesn't support loading merged PRs, so we have to filter them in memory
+// luckily, we can sort after "recentupdate", which means we can do incremental changelog generation
+// todo: support setting a "last_updated" date, so the script would automatically check how far it has to go
 
-/*
+async function main() {
+  let pageStart = 1;
+  let pageEnd = 1;
+  let prs = [];
+  for (let p = pageStart; p <= pageEnd; p++) {
+    console.log(`load page ${p}/${pageEnd}`);
+    const res = await fetch(
+      `https://codeberg.org/api/v1/repos/uzu/strudel/pulls?state=closed&sort=recentupdate&page=${p}`,
+    );
+    const pulls = await res.json();
+    const merged = pulls.filter((pull) => pull.merged);
+    prs = prs.concat(merged);
+  }
+  const output = prs
+    .sort((a, b) => new Date(b.closed_at) - new Date(a.closed_at))
+    .map(
+      (pull) => `- ${pull.closed_at} ${pull.title} by @${pull.user.login || '?'} in: [#${pull.number}](${pull.url}) `,
+    )
+    .join('\n');
+  console.log('-------------');
+  console.log(output);
+}
 
-  */
+main();