Editor refact: rename Editor to Client

This commit is contained in:
Zef Hemel
2023-07-14 16:56:20 +02:00
parent f3936f9b2f
commit 16842a1c4b
20 changed files with 47 additions and 49 deletions
+3 -3
View File
@@ -8,12 +8,12 @@ import {
import { renderMarkdownToHtml } from "../../plugs/markdown/markdown_render.ts";
import { ParseTree } from "$sb/lib/tree.ts";
import { lezerToParseTree } from "../../common/markdown_parser/parse_tree.ts";
import type { Editor } from "../editor.ts";
import type { Client } from "../client.ts";
class TableViewWidget extends WidgetType {
constructor(
readonly pos: number,
readonly editor: Editor,
readonly editor: Client,
readonly t: ParseTree,
) {
super();
@@ -48,7 +48,7 @@ class TableViewWidget extends WidgetType {
}
}
export function tablePlugin(editor: Editor) {
export function tablePlugin(editor: Client) {
return decoratorStateField((state: EditorState) => {
const widgets: any[] = [];
syntaxTree(state).iterate({