2019-12-18 16:14:21 +01:00
|
|
|
import { DivId } from './divId';
|
2020-09-24 13:18:24 +02:00
|
|
|
import {Portal} from './portal';
|
2019-12-18 16:14:21 +01:00
|
|
|
|
|
|
|
export interface DivHelpContent {
|
|
|
|
_id: string;
|
|
|
|
divId: DivId | string;
|
2020-09-24 13:18:24 +02:00
|
|
|
portal: string | Portal;
|
2019-12-18 16:14:21 +01:00
|
|
|
content: string;
|
|
|
|
isActive: boolean;
|
|
|
|
}
|
|
|
|
|
|
|
|
export interface CheckDivHelpContent {
|
|
|
|
divHelpContent : DivHelpContent;
|
|
|
|
checked : boolean;
|
|
|
|
}
|
|
|
|
|
|
|
|
export interface DivHelpContentFilterOptions {
|
|
|
|
id : string;
|
|
|
|
active : Boolean;
|
|
|
|
text : RegExp;
|
|
|
|
}
|