import { StateField } from '@codemirror/state';
import { DecorationSet } from '@codemirror/view';
/** Height difference threshold in pixels; differences below this are ignored */
export declare const HEIGHT_THRESHOLD = 0.5;
/** Padding entry: document position and pixel height to add */
export interface HeightPadding {
    pos: number;
    height: number;
}
/** Effect to replace all height paddings */
export declare const setHeightPaddingEffect: import('@codemirror/state').StateEffectType<HeightPadding[]>;
/**
 * State field that stores height paddings AND provides block decorations.
 *
 * Block-level decorations (block: true widgets) MUST be provided via a
 * StateField, not a ViewPlugin. CodeMirror throws "Block decorations may
 * not be specified via plugins" if you try the latter.
 */
export declare const heightPaddingField: StateField<DecorationSet>;
/** Theme for height padding widgets (invisible) */
export declare const heightPadTheme: import('@codemirror/state').Extension;
/** Compare two padding arrays for equality (within tolerance) */
export declare function paddingsEqual(a: HeightPadding[], b: HeightPadding[]): boolean;
/** Convert a padding map to a sorted HeightPadding array */
export declare function mapToPaddings(padMap: Map<number, number>, doc: {
    line: (n: number) => {
        to: number;
    };
    lines: number;
}): HeightPadding[];