@dxos/react-ui-editor 0.3.11-main.dd122a6 → 0.3.11-main.f08de7a
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -2040,7 +2040,6 @@ var update = (state, options) => {
|
|
|
2040
2040
|
tables.forEach((table2) => {
|
|
2041
2041
|
const hide = state.readOnly || cursor < table2.from || cursor > table2.to;
|
|
2042
2042
|
hide && builder.add(table2.from, table2.to, Decoration7.replace({
|
|
2043
|
-
block: true,
|
|
2044
2043
|
widget: new TableWidget(table2)
|
|
2045
2044
|
}));
|
|
2046
2045
|
builder.add(table2.from, table2.to, Decoration7.mark({
|
|
@@ -2081,6 +2080,9 @@ var TableWidget = class extends WidgetType6 {
|
|
|
2081
2080
|
}
|
|
2082
2081
|
return table2;
|
|
2083
2082
|
}
|
|
2083
|
+
ignoreEvent(e) {
|
|
2084
|
+
return !/^mouse/.test(e.type);
|
|
2085
|
+
}
|
|
2084
2086
|
};
|
|
2085
2087
|
|
|
2086
2088
|
// packages/ui/react-ui-editor/src/extensions/tasklist.ts
|