devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
9 lines (8 loc) • 342 B
TypeScript
import { TableWidthUnitType } from '../../../../../model/tables/secondary-structures/table-units';
export declare class ColumnInterval {
width: number;
colSpan: number;
type: TableWidthUnitType;
constructor(width: number, colSpan: number, type: TableWidthUnitType);
substract(b: ColumnInterval): ColumnInterval;
}