import * as React from "react"; import { LoadedCast } from "./load-cast.js"; import { Theme } from "./default-theme.js"; export interface SvgTermProps { cast: LoadedCast; theme: Theme; paddingX: number; paddingY: number; decorations: boolean; from?: number; to?: number; at?: number; cursor: boolean; } export declare const SvgTerm: React.FunctionComponent; //# sourceMappingURL=svg-term.d.ts.map