@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/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 breaks, or the
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 breaks, or the
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 };