mirror of
https://github.com/eliasstepanik/strudel-docker.git
synced 2026-01-11 13:48:34 +00:00
96 lines
2.3 KiB
JavaScript
96 lines
2.3 KiB
JavaScript
import { StateEffect, StateField } from '@codemirror/state';
|
|
import { Decoration, EditorView, WidgetType } from '@codemirror/view';
|
|
import { registerWidgetType } from '@strudel/transpiler';
|
|
import { Pattern } from '@strudel/core';
|
|
|
|
const getWidgetID = (from) => `widget_${from}`;
|
|
|
|
export const addWidget = StateEffect.define({
|
|
map: ({ from, to }, change) => {
|
|
return { from: change.mapPos(from), to: change.mapPos(to) };
|
|
},
|
|
});
|
|
|
|
export const updateWidgets = (view, widgets) => {
|
|
view.dispatch({ effects: addWidget.of(widgets) });
|
|
};
|
|
|
|
function getWidgets(widgetConfigs) {
|
|
return (
|
|
widgetConfigs
|
|
// codemirror throws an error if we don't sort
|
|
.sort((a, b) => a.to - b.to)
|
|
.map(({ to, type }) => {
|
|
return Decoration.widget({
|
|
widget: new BlockWidget(to, type),
|
|
side: 0,
|
|
block: true,
|
|
}).range(to);
|
|
})
|
|
);
|
|
}
|
|
|
|
const widgetField = StateField.define(
|
|
/* <DecorationSet> */ {
|
|
create() {
|
|
return Decoration.none;
|
|
},
|
|
update(widgets, tr) {
|
|
widgets = widgets.map(tr.changes);
|
|
for (let e of tr.effects) {
|
|
if (e.is(addWidget)) {
|
|
try {
|
|
widgets = widgets.update({
|
|
filter: () => false,
|
|
add: getWidgets(e.value),
|
|
});
|
|
} catch (error) {
|
|
console.log('err', error);
|
|
}
|
|
}
|
|
}
|
|
return widgets;
|
|
},
|
|
provide: (f) => EditorView.decorations.from(f),
|
|
},
|
|
);
|
|
|
|
const widgetElements = {};
|
|
export function setWidget(id, el) {
|
|
widgetElements[id] = el;
|
|
el.id = id;
|
|
}
|
|
|
|
export class BlockWidget extends WidgetType {
|
|
constructor(col, type) {
|
|
super();
|
|
this.col = col;
|
|
this.type = type;
|
|
}
|
|
eq() {
|
|
return true;
|
|
}
|
|
toDOM() {
|
|
const id = getWidgetID(this.col); // matches id generated in transpiler
|
|
const el = widgetElements[id];
|
|
return el;
|
|
}
|
|
ignoreEvent(e) {
|
|
return true;
|
|
}
|
|
}
|
|
|
|
export const widgetPlugin = [widgetField];
|
|
|
|
// widget implementer API to create a new widget type
|
|
export function registerWidget(type, fn) {
|
|
registerWidgetType(type);
|
|
if (fn) {
|
|
Pattern.prototype[type] = function (id, options = { fold: 1 }) {
|
|
// fn is expected to create a dom element and call setWidget(id, el);
|
|
// fn should also return the pattern
|
|
return fn(id, options, this);
|
|
};
|
|
}
|
|
}
|