devexpress-richedit

Version:

DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.

www.devexpress.com

9 lines (8 loc) • 233 B

JavaScript

import { LeafElementDestination } from '../destination';
export class TabsLeafElementDestination extends LeafElementDestination {
    tabs;
    constructor(data, tabs) {
        super(data);
        this.tabs = tabs;
    }
}