2018-02-06 12:06:43 +01:00
|
|
|
import {Page} from './page';
|
|
|
|
|
|
|
|
export interface DivId {
|
|
|
|
_id: string;
|
|
|
|
name: string;
|
2018-02-28 13:35:54 +01:00
|
|
|
pages: string[] | Page[];
|
2019-07-01 15:47:58 +02:00
|
|
|
connect: boolean;
|
|
|
|
communities: boolean;
|
|
|
|
openaire: boolean;
|
2018-02-06 12:06:43 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
export interface CheckDivId {
|
2019-03-04 15:32:58 +01:00
|
|
|
divId: DivId;
|
|
|
|
checked: boolean;
|
2018-02-06 12:06:43 +01:00
|
|
|
}
|