devexpress-richedit/lib/common/model/options/search.js

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

export class SearchSettings {
    filterInterval;
    copyFrom(obj) {
        this.filterInterval = obj.filterInterval;
    }
    clone() {
        const result = new SearchSettings();
        result.copyFrom(this);
        return result;
    }
}