2023-12-28 15:14:30 +00:00
|
|
|
import { codeWidget, editor } from "$sb/syscalls.ts";
|
2023-11-15 09:08:21 +00:00
|
|
|
|
2023-12-28 15:14:30 +00:00
|
|
|
export function refreshAllWidgets() {
|
2023-11-15 09:08:21 +00:00
|
|
|
codeWidget.refreshAll();
|
|
|
|
|
}
|
2023-12-28 15:14:30 +00:00
|
|
|
|
|
|
|
|
export async function editButton(pos: number) {
|
|
|
|
|
await editor.moveCursor(pos);
|
|
|
|
|
}
|
