2022-10-14 13:11:33 +00:00
|
|
|
import type {
|
2022-12-21 13:55:24 +00:00
|
|
|
CompleteEvent,
|
2022-10-14 13:11:33 +00:00
|
|
|
IndexEvent,
|
|
|
|
QueryProviderEvent,
|
|
|
|
} from "$sb/app_event.ts";
|
2022-04-01 15:07:08 +00:00
|
|
|
import {
|
2022-10-14 13:11:33 +00:00
|
|
|
editor,
|
|
|
|
index,
|
|
|
|
markdown,
|
|
|
|
space,
|
|
|
|
} from "$sb/silverbullet-syscall/mod.ts";
|
|
|
|
|
2023-08-10 16:32:41 +00:00
|
|
|
import { events, mq } from "$sb/plugos-syscall/mod.ts";
|
2022-07-12 10:30:36 +00:00
|
|
|
|
2023-07-14 09:52:35 +00:00
|
|
|
import { applyQuery } from "$sb/lib/query.ts";
|
2023-07-02 09:25:32 +00:00
|
|
|
import { invokeFunction } from "$sb/silverbullet-syscall/system.ts";
|
2023-08-11 18:37:13 +00:00
|
|
|
import type { Message } from "$sb/types.ts";
|
|
|
|
import { sleep } from "../../common/async_util.ts";
|
2022-04-21 09:46:33 +00:00
|
|
|
|
|
|
|
// Key space:
|
2023-07-14 09:52:35 +00:00
|
|
|
// meta: => metaJson
|
2022-02-28 13:35:51 +00:00
|
|
|
|
2022-04-19 14:54:47 +00:00
|
|
|
export async function pageQueryProvider({
|
|
|
|
query,
|
2022-04-28 09:55:38 +00:00
|
|
|
}: QueryProviderEvent): Promise<any[]> {
|
2022-11-20 09:24:42 +00:00
|
|
|
return applyQuery(query, await space.listPages());
|
2022-04-19 14:54:47 +00:00
|
|
|
}
|
|
|
|
|
2022-02-28 13:35:51 +00:00
|
|
|
export async function deletePage() {
|
2022-10-14 13:11:33 +00:00
|
|
|
const pageName = await editor.getCurrentPage();
|
2022-11-18 15:04:37 +00:00
|
|
|
if (
|
|
|
|
!await editor.confirm(`Are you sure you would like to delete ${pageName}?`)
|
|
|
|
) {
|
|
|
|
return;
|
|
|
|
}
|
2022-06-28 12:14:15 +00:00
|
|
|
console.log("Navigating to index page");
|
2022-10-14 13:11:33 +00:00
|
|
|
await editor.navigate("");
|
2022-02-28 13:35:51 +00:00
|
|
|
console.log("Deleting page from space");
|
2022-10-14 13:11:33 +00:00
|
|
|
await space.deletePage(pageName);
|
2022-02-28 13:35:51 +00:00
|
|
|
}
|
|
|
|
|
2023-06-14 07:20:15 +00:00
|
|
|
export async function copyPage() {
|
|
|
|
const oldName = await editor.getCurrentPage();
|
|
|
|
const newName = await editor.prompt(`New page title:`, `${oldName} (copy)`);
|
|
|
|
|
|
|
|
if (!newName) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
try {
|
|
|
|
// This throws an error if the page does not exist, which we expect to be the case
|
|
|
|
await space.getPageMeta(newName);
|
|
|
|
// So when we get to this point, we error out
|
|
|
|
throw new Error(
|
2023-07-02 09:25:32 +00:00
|
|
|
`Page ${newName} already exists, cannot rename to existing page.`,
|
2023-06-14 07:20:15 +00:00
|
|
|
);
|
|
|
|
} catch (e: any) {
|
|
|
|
if (e.message === "Not found") {
|
|
|
|
// Expected not found error, so we can continue
|
|
|
|
} else {
|
|
|
|
await editor.flashNotification(e.message, "error");
|
|
|
|
throw e;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
const text = await editor.getText();
|
|
|
|
|
|
|
|
console.log("Writing new page to space");
|
|
|
|
await space.writePage(newName, text);
|
|
|
|
|
|
|
|
console.log("Navigating to new page");
|
|
|
|
await editor.navigate(newName);
|
|
|
|
}
|
|
|
|
|
2022-11-18 15:04:37 +00:00
|
|
|
export async function newPageCommand() {
|
|
|
|
const allPages = await space.listPages();
|
|
|
|
let pageName = `Untitled`;
|
|
|
|
let i = 1;
|
|
|
|
while (allPages.find((p) => p.name === pageName)) {
|
|
|
|
pageName = `Untitled ${i}`;
|
|
|
|
i++;
|
|
|
|
}
|
|
|
|
await editor.navigate(pageName);
|
2022-02-28 13:35:51 +00:00
|
|
|
}
|
|
|
|
|
2022-03-28 13:25:05 +00:00
|
|
|
export async function reindexCommand() {
|
2023-08-11 18:37:13 +00:00
|
|
|
await editor.flashNotification("Performing full page reindex...");
|
|
|
|
await reindexSpace();
|
|
|
|
await editor.flashNotification("Done with page index!");
|
2022-03-28 13:25:05 +00:00
|
|
|
}
|
|
|
|
|
2022-03-29 10:13:46 +00:00
|
|
|
// Completion
|
2022-12-21 13:55:24 +00:00
|
|
|
export async function pageComplete(completeEvent: CompleteEvent) {
|
2023-07-02 09:25:32 +00:00
|
|
|
const match = /\[\[([^\]@:\{}]*)$/.exec(completeEvent.linePrefix);
|
2022-12-21 13:55:24 +00:00
|
|
|
if (!match) {
|
2022-03-29 10:13:46 +00:00
|
|
|
return null;
|
|
|
|
}
|
2022-10-14 13:11:33 +00:00
|
|
|
const allPages = await space.listPages();
|
2022-03-29 10:13:46 +00:00
|
|
|
return {
|
2022-12-21 13:55:24 +00:00
|
|
|
from: completeEvent.pos - match[1].length,
|
2023-07-02 09:25:32 +00:00
|
|
|
options: allPages.map((pageMeta) => {
|
|
|
|
return {
|
|
|
|
label: pageMeta.name,
|
|
|
|
boost: pageMeta.lastModified,
|
|
|
|
type: "page",
|
|
|
|
};
|
|
|
|
}),
|
2022-03-29 10:13:46 +00:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2022-03-28 13:25:05 +00:00
|
|
|
export async function reindexSpace() {
|
|
|
|
console.log("Clearing page index...");
|
2022-10-14 13:11:33 +00:00
|
|
|
await index.clearPageIndex();
|
2023-05-23 18:53:53 +00:00
|
|
|
// Executed this way to not have to embed the search plug code here
|
|
|
|
await invokeFunction("client", "search.clearIndex");
|
2022-10-14 13:11:33 +00:00
|
|
|
const pages = await space.listPages();
|
2022-10-21 08:00:43 +00:00
|
|
|
|
2023-08-11 18:37:13 +00:00
|
|
|
// Queue all page names to be indexed
|
|
|
|
await mq.batchSend("indexQueue", pages.map((page) => page.name));
|
|
|
|
|
|
|
|
// Now let's wait for the processing to finish
|
|
|
|
let queueStats = await mq.getQueueStats("indexQueue");
|
|
|
|
while (queueStats.queued > 0 || queueStats.processing > 0) {
|
|
|
|
sleep(1000);
|
|
|
|
queueStats = await mq.getQueueStats("indexQueue");
|
2022-03-28 13:25:05 +00:00
|
|
|
}
|
2023-08-11 18:37:13 +00:00
|
|
|
// And notify the user
|
2022-09-14 07:32:47 +00:00
|
|
|
console.log("Indexing completed!");
|
2022-03-28 13:25:05 +00:00
|
|
|
}
|
|
|
|
|
2023-08-10 16:32:41 +00:00
|
|
|
export async function processIndexQueue(messages: Message[]) {
|
|
|
|
// console.log("Processing batch of", messages.length, "pages to index");
|
|
|
|
for (const message of messages) {
|
|
|
|
const name: string = message.body;
|
|
|
|
console.log(`Indexing page ${name}`);
|
|
|
|
const text = await space.readPage(name);
|
|
|
|
const parsed = await markdown.parseMarkdown(text);
|
|
|
|
await events.dispatchEvent("page:index", {
|
|
|
|
name,
|
|
|
|
tree: parsed,
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-03-28 13:25:05 +00:00
|
|
|
export async function clearPageIndex(page: string) {
|
2022-10-21 14:56:46 +00:00
|
|
|
// console.log("Clearing page index for page", page);
|
2022-10-14 13:11:33 +00:00
|
|
|
await index.clearPageIndexForPage(page);
|
2022-02-28 13:35:51 +00:00
|
|
|
}
|
2022-04-09 12:28:41 +00:00
|
|
|
|
2022-04-20 08:56:43 +00:00
|
|
|
export async function parseIndexTextRepublish({ name, text }: IndexEvent) {
|
2023-05-23 18:53:53 +00:00
|
|
|
// console.log("Reindexing", name);
|
2022-10-14 13:11:33 +00:00
|
|
|
await events.dispatchEvent("page:index", {
|
2022-04-20 08:56:43 +00:00
|
|
|
name,
|
2022-10-14 13:11:33 +00:00
|
|
|
tree: await markdown.parseMarkdown(text),
|
2022-04-20 08:56:43 +00:00
|
|
|
});
|
|
|
|
}
|