devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
34 lines (33 loc) • 1.2 kB
TypeScript
export declare class MixedSize {
static fromLayout(value: number): MixedSize;
static fromUI(value: number): MixedSize;
static min(a: MixedSize, b: MixedSize): MixedSize;
static max(a: MixedSize, b: MixedSize): MixedSize;
static substract(a: MixedSize, b: MixedSize): MixedSize;
static add(a: MixedSize, b: MixedSize): MixedSize;
static from(size: MixedSize): MixedSize;
private _UISizePart;
private _UISize;
private _layoutSizePart;
private _layoutSize;
private _scale;
private _scaleIsSpecified;
get scale(): number;
get UISize(): number;
get LayoutSize(): number;
private get UISizePart();
private set UISizePart(value);
private get LayoutSizePart();
private set LayoutSizePart(value);
private onSizeChanged;
addUISize(value: number): this;
addLayoutSize(value: number): this;
addSize(value: MixedSize): this;
subtractUISize(value: number): this;
subtractLayoutSize(value: number): this;
subtractSize(value: MixedSize): this;
private checkSizeHasSameScale;
private checkScaleIsSpecified;
useScale(value: number): this;
clear(): this;
}