devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
20 lines (19 loc) • 1 kB
JavaScript
import { RulerValue } from '../zoomable-value';
import { TabInfoBase } from '../../../../model/paragraph/paragraph-style';
export class RulerTabInfo extends TabInfoBase {
get position() { return this.zoomablePosition.value; }
set position(value) { this.zoomablePosition.value = value; }
get originalPosition() { return this.zoomablePosition.originalValue; }
set originalPosition(value) { this.zoomablePosition.originalValue = value; }
constructor(position, alignment, leader, deleted, isDefault, zoomLevelHolder) {
super(alignment, leader, deleted, isDefault);
this.zoomLevelHolder = zoomLevelHolder;
this.zoomablePosition = new RulerValue(position, zoomLevelHolder);
}
clone() {
return new RulerTabInfo(this.originalPosition, this.alignment, this.leader, this.deleted, this.isDefault, this.zoomLevelHolder);
}
equals(obj) {
return super.equals(obj) && this.originalPosition == obj.originalPosition;
}
}