devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
16 lines (15 loc) • 835 B
TypeScript
import { TabAlign } from '../../../../model/paragraph/paragraph';
import { TabLeaderType } from '../../../../layout/main-structures/layout-boxes/layout-tab-space-box';
import { IZoomLevelHolder } from '../../../../interfaces/i-zoom-level-holder';
import { TabInfoBase } from '../../../../model/paragraph/paragraph-style';
export declare class RulerTabInfo extends TabInfoBase<RulerTabInfo> {
zoomLevelHolder: IZoomLevelHolder;
private zoomablePosition;
get position(): number;
set position(value: number);
get originalPosition(): number;
set originalPosition(value: number);
constructor(position: number, alignment: TabAlign, leader: TabLeaderType, deleted: boolean, isDefault: boolean, zoomLevelHolder: IZoomLevelHolder);
clone(): RulerTabInfo;
equals(obj: RulerTabInfo): boolean;
}