2023-10-28 08:37:51 +13:00
|
|
|
export global Settings {
|
2023-11-02 04:36:38 +13:00
|
|
|
in-out property<bool> checkbox_checked: false;
|
|
|
|
|
|
|
|
|
|
in-out property <[StandardListViewItem]> included_directories: [{text: "ABCD"}, {text: "BCDA"}];
|
|
|
|
|
in-out property <[StandardListViewItem]> excluded_directories: [{text: "ABCD"}, {text: "BCDA"}, {text: "CDFFF"}];
|
2023-10-28 08:37:51 +13:00
|
|
|
}
|
