import { Text } from "../../doc/src"; import { HeightMap } from "./heightmap"; export declare class ViewportState { top: number; bottom: number; updateFromDOM(dom: HTMLElement, paddingTop: number): number; coverEverything(): void; getViewport(doc: Text, heightMap: HeightMap, bias: number, scrollTo: number): Viewport; coveredBy(doc: Text, viewport: Viewport, heightMap: HeightMap, bias?: number): boolean; } export declare class Viewport { readonly from: number; readonly to: number; constructor(from: number, to: number); clip(pos: number): number; static empty: Viewport; }