@codemirror/view 6.30.0 → 6.31.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 +16 -0
- package/dist/index.cjs +382 -360
- package/dist/index.d.cts +6 -2
- package/dist/index.d.ts +6 -2
- package/dist/index.js +382 -361
- 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.
|
|
@@ -2168,6 +2168,10 @@ Facet used to provide markers to the line number gutter.
|
|
|
2168
2168
|
*/
|
|
2169
2169
|
declare const lineNumberMarkers: Facet<RangeSet<GutterMarker>, readonly RangeSet<GutterMarker>[]>;
|
|
2170
2170
|
/**
|
|
2171
|
+
Facet used to create markers in the line number gutter next to widgets.
|
|
2172
|
+
*/
|
|
2173
|
+
declare const lineNumberWidgetMarker: Facet<(view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null, readonly ((view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null)[]>;
|
|
2174
|
+
/**
|
|
2171
2175
|
Create a line number gutter extension.
|
|
2172
2176
|
*/
|
|
2173
2177
|
declare function lineNumbers(config?: LineNumberConfig): Extension;
|
|
@@ -2191,4 +2195,4 @@ trailing whitespace.
|
|
|
2191
2195
|
*/
|
|
2192
2196
|
declare function highlightTrailingWhitespace(): Extension;
|
|
2193
2197
|
|
|
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 };
|
|
2198
|
+
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, 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.
|
|
@@ -2168,6 +2168,10 @@ Facet used to provide markers to the line number gutter.
|
|
|
2168
2168
|
*/
|
|
2169
2169
|
declare const lineNumberMarkers: Facet<RangeSet<GutterMarker>, readonly RangeSet<GutterMarker>[]>;
|
|
2170
2170
|
/**
|
|
2171
|
+
Facet used to create markers in the line number gutter next to widgets.
|
|
2172
|
+
*/
|
|
2173
|
+
declare const lineNumberWidgetMarker: Facet<(view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null, readonly ((view: EditorView, widget: WidgetType, block: BlockInfo) => GutterMarker | null)[]>;
|
|
2174
|
+
/**
|
|
2171
2175
|
Create a line number gutter extension.
|
|
2172
2176
|
*/
|
|
2173
2177
|
declare function lineNumbers(config?: LineNumberConfig): Extension;
|
|
@@ -2191,4 +2195,4 @@ trailing whitespace.
|
|
|
2191
2195
|
*/
|
|
2192
2196
|
declare function highlightTrailingWhitespace(): Extension;
|
|
2193
2197
|
|
|
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 };
|
|
2198
|
+
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, lineNumberWidgetMarker, lineNumbers, logException, panels, placeholder, rectangularSelection, repositionTooltips, runScopeHandlers, scrollPastEnd, showPanel, showTooltip, tooltips };
|