2019-12-18 16:14:21 +01:00
|
|
|
import {Page} from './page';
|
|
|
|
|
|
|
|
export interface DivId {
|
|
|
|
_id: string;
|
|
|
|
name: string;
|
|
|
|
pages: Page[] | String[];
|
2020-09-24 13:18:24 +02:00
|
|
|
portalType: string;
|
2019-12-18 16:14:21 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
export interface CheckDivId {
|
|
|
|
divId: DivId;
|
|
|
|
checked: boolean;
|
|
|
|
}
|