@codemirror/view 6.30.0 → 6.32.0
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.
- package/CHANGELOG.md +26 -0
- package/dist/index.cjs +397 -364
- package/dist/index.d.cts +11 -2
- package/dist/index.d.ts +11 -2
- package/dist/index.js +396 -365
- package/package.json +1 -1
package/dist/index.d.cts
CHANGED
|
@@ -869,7 +869,7 @@ declare class EditorView {
|
|
|
869
869
|
/**
|
|
870
870
|
Find the line block around the given document position. A line
|
|
871
871
|
block is a range delimited on both sides by either a
|
|
872
|
-
non-[hidden](https://codemirror.net/6/docs/ref/#view.Decoration^replace) line
|
|
872
|
+
non-[hidden](https://codemirror.net/6/docs/ref/#view.Decoration^replace) line break, or the
|
|
873
873
|
start/end of the document. It will usually just hold a line of
|
|
874
874
|
text, but may be broken into multiple textblocks by block
|
|
875
875
|
widgets.
|
|
@@ -2088,6 +2088,11 @@ Markers given to this facet should _only_ define an
|
|
|
2088
2088
|
in all gutters for the line).
|
|
2089
2089
|
*/
|
|
2090
2090
|
declare const gutterLineClass: Facet<RangeSet<GutterMarker>, readonly RangeSet<GutterMarker>[]>;
|
|
2091
|
+
/**
|
|
2092
|
+
Facet used to add a class to all gutter elements next to a widget.
|
|
2093
|
+
Should not provide widgets with a `toDOM` method.
|
|
2094
|
+
*/
|
|
2095
|
+
declare const gutterWidgetClass: Facet<(view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null, readonly ((view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null)[]>;
|
|
2091
2096
|
type Handlers = {
|
|
2092
2097
|
[event: string]: (view: EditorView, line: BlockInfo, event: Event) => boolean;
|
|
2093
2098
|
};
|
|
@@ -2168,6 +2173,10 @@ Facet used to provide markers to the line number gutter.
|
|
|
2168
2173
|
*/
|
|
2169
2174
|
declare const lineNumberMarkers: Facet<RangeSet<GutterMarker>, readonly RangeSet<GutterMarker>[]>;
|
|
2170
2175
|
/**
|
|
2176
|
+
Facet used to create markers in the line number gutter next to widgets.
|
|
2177
|
+
*/
|
|
2178
|
+
declare const lineNumberWidgetMarker: Facet<(view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null, readonly ((view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null)[]>;
|
|
2179
|
+
/**
|
|
2171
2180
|
Create a line number gutter extension.
|
|
2172
2181
|
*/
|
|
2173
2182
|
declare function lineNumbers(config?: LineNumberConfig): Extension;
|
|
@@ -2191,4 +2200,4 @@ trailing whitespace.
|
|
|
2191
2200
|
*/
|
|
2192
2201
|
declare function highlightTrailingWhitespace(): Extension;
|
|
2193
2202
|
|
|
2194
|
-
export { BidiSpan, BlockInfo, BlockType, type Command, type DOMEventHandlers, type DOMEventMap, Decoration, type DecorationSet, Direction, EditorView, type EditorViewConfig, GutterMarker, type HoverTooltipSource, type KeyBinding, type LayerMarker, MatchDecorator, type MouseSelectionStyle, type Panel, type PanelConstructor, type PluginSpec, type PluginValue, type Rect, RectangleMarker, type Tooltip, type TooltipView, ViewPlugin, ViewUpdate, WidgetType, closeHoverTooltips, crosshairCursor, drawSelection, dropCursor, getDrawSelectionConfig, getPanel, getTooltip, gutter, gutterLineClass, gutters, hasHoverTooltips, highlightActiveLine, highlightActiveLineGutter, highlightSpecialChars, highlightTrailingWhitespace, highlightWhitespace, hoverTooltip, keymap, layer, lineNumberMarkers, lineNumbers, logException, panels, placeholder, rectangularSelection, repositionTooltips, runScopeHandlers, scrollPastEnd, showPanel, showTooltip, tooltips };
|
|
2203
|
+
export { BidiSpan, BlockInfo, BlockType, type Command, type DOMEventHandlers, type DOMEventMap, Decoration, type DecorationSet, Direction, EditorView, type EditorViewConfig, GutterMarker, type HoverTooltipSource, type KeyBinding, type LayerMarker, MatchDecorator, type MouseSelectionStyle, type Panel, type PanelConstructor, type PluginSpec, type PluginValue, type Rect, RectangleMarker, type Tooltip, type TooltipView, ViewPlugin, ViewUpdate, WidgetType, closeHoverTooltips, crosshairCursor, drawSelection, dropCursor, getDrawSelectionConfig, getPanel, getTooltip, gutter, gutterLineClass, gutterWidgetClass, gutters, hasHoverTooltips, highlightActiveLine, highlightActiveLineGutter, highlightSpecialChars, highlightTrailingWhitespace, highlightWhitespace, hoverTooltip, keymap, layer, lineNumberMarkers, lineNumberWidgetMarker, lineNumbers, logException, panels, placeholder, rectangularSelection, repositionTooltips, runScopeHandlers, scrollPastEnd, showPanel, showTooltip, tooltips };
|
package/dist/index.d.ts
CHANGED
|
@@ -869,7 +869,7 @@ declare class EditorView {
|
|
|
869
869
|
/**
|
|
870
870
|
Find the line block around the given document position. A line
|
|
871
871
|
block is a range delimited on both sides by either a
|
|
872
|
-
non-[hidden](https://codemirror.net/6/docs/ref/#view.Decoration^replace) line
|
|
872
|
+
non-[hidden](https://codemirror.net/6/docs/ref/#view.Decoration^replace) line break, or the
|
|
873
873
|
start/end of the document. It will usually just hold a line of
|
|
874
874
|
text, but may be broken into multiple textblocks by block
|
|
875
875
|
widgets.
|
|
@@ -2088,6 +2088,11 @@ Markers given to this facet should _only_ define an
|
|
|
2088
2088
|
in all gutters for the line).
|
|
2089
2089
|
*/
|
|
2090
2090
|
declare const gutterLineClass: Facet<RangeSet<GutterMarker>, readonly RangeSet<GutterMarker>[]>;
|
|
2091
|
+
/**
|
|
2092
|
+
Facet used to add a class to all gutter elements next to a widget.
|
|
2093
|
+
Should not provide widgets with a `toDOM` method.
|
|
2094
|
+
*/
|
|
2095
|
+
declare const gutterWidgetClass: Facet<(view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null, readonly ((view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null)[]>;
|
|
2091
2096
|
type Handlers = {
|
|
2092
2097
|
[event: string]: (view: EditorView, line: BlockInfo, event: Event) => boolean;
|
|
2093
2098
|
};
|
|
@@ -2168,6 +2173,10 @@ Facet used to provide markers to the line number gutter.
|
|
|
2168
2173
|
*/
|
|
2169
2174
|
declare const lineNumberMarkers: Facet<RangeSet<GutterMarker>, readonly RangeSet<GutterMarker>[]>;
|
|
2170
2175
|
/**
|
|
2176
|
+
Facet used to create markers in the line number gutter next to widgets.
|
|
2177
|
+
*/
|
|
2178
|
+
declare const lineNumberWidgetMarker: Facet<(view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null, readonly ((view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null)[]>;
|
|
2179
|
+
/**
|
|
2171
2180
|
Create a line number gutter extension.
|
|
2172
2181
|
*/
|
|
2173
2182
|
declare function lineNumbers(config?: LineNumberConfig): Extension;
|
|
@@ -2191,4 +2200,4 @@ trailing whitespace.
|
|
|
2191
2200
|
*/
|
|
2192
2201
|
declare function highlightTrailingWhitespace(): Extension;
|
|
2193
2202
|
|
|
2194
|
-
export { BidiSpan, BlockInfo, BlockType, type Command, type DOMEventHandlers, type DOMEventMap, Decoration, type DecorationSet, Direction, EditorView, type EditorViewConfig, GutterMarker, type HoverTooltipSource, type KeyBinding, type LayerMarker, MatchDecorator, type MouseSelectionStyle, type Panel, type PanelConstructor, type PluginSpec, type PluginValue, type Rect, RectangleMarker, type Tooltip, type TooltipView, ViewPlugin, ViewUpdate, WidgetType, closeHoverTooltips, crosshairCursor, drawSelection, dropCursor, getDrawSelectionConfig, getPanel, getTooltip, gutter, gutterLineClass, gutters, hasHoverTooltips, highlightActiveLine, highlightActiveLineGutter, highlightSpecialChars, highlightTrailingWhitespace, highlightWhitespace, hoverTooltip, keymap, layer, lineNumberMarkers, lineNumbers, logException, panels, placeholder, rectangularSelection, repositionTooltips, runScopeHandlers, scrollPastEnd, showPanel, showTooltip, tooltips };
|
|
2203
|
+
export { BidiSpan, BlockInfo, BlockType, type Command, type DOMEventHandlers, type DOMEventMap, Decoration, type DecorationSet, Direction, EditorView, type EditorViewConfig, GutterMarker, type HoverTooltipSource, type KeyBinding, type LayerMarker, MatchDecorator, type MouseSelectionStyle, type Panel, type PanelConstructor, type PluginSpec, type PluginValue, type Rect, RectangleMarker, type Tooltip, type TooltipView, ViewPlugin, ViewUpdate, WidgetType, closeHoverTooltips, crosshairCursor, drawSelection, dropCursor, getDrawSelectionConfig, getPanel, getTooltip, gutter, gutterLineClass, gutterWidgetClass, gutters, hasHoverTooltips, highlightActiveLine, highlightActiveLineGutter, highlightSpecialChars, highlightTrailingWhitespace, highlightWhitespace, hoverTooltip, keymap, layer, lineNumberMarkers, lineNumberWidgetMarker, lineNumbers, logException, panels, placeholder, rectangularSelection, repositionTooltips, runScopeHandlers, scrollPastEnd, showPanel, showTooltip, tooltips };
|