Changed named anchor syntax

This commit is contained in:
Zef Hemel
2022-10-24 19:40:52 +02:00
parent 246d3ae45b
commit a2e5d0cc93
4 changed files with 19 additions and 7 deletions
+2 -2
View File
@@ -201,7 +201,7 @@ export class Editor {
const stateRestored = await this.loadPage(pageName);
if (pos) {
if (typeof pos === "string") {
// console.log("Navigating to anchor", pos);
console.log("Navigating to anchor", pos);
// We're going to look up the anchor through a direct page store query...
const posLookup = await this.system.localSyscall(
@@ -209,7 +209,7 @@ export class Editor {
"index.get",
[
pageName,
`a:${pageName}:@${pos}`,
`a:${pageName}:${pos}`,
],
);