devexpress-richedit
Version:
DevExpress Rich Text Editor is an advanced word-processing tool designed for working with rich text documents.
16 lines (15 loc) • 484 B
JavaScript
import { CommandBase } from '../command-base';
import { SimpleCommandState } from '../command-states';
export class HideFindResultsCommand extends CommandBase {
getState() {
return new SimpleCommandState(this.isEnabled());
}
executeCore(_state, _parameter) {
if (this.selection.searchIntervals.length)
this.selection.resetSearchSelection();
return true;
}
isEnabledInReadOnlyMode() {
return true;
}
}