2023-11-11 05:11:32 +13:00
|
|
|
export global Settings {
|
2023-11-02 04:36:38 +13:00
|
|
|
in-out property <[StandardListViewItem]> included_directories: [{text: "ABCD"}, {text: "BCDA"}];
|
|
|
|
in-out property <[StandardListViewItem]> excluded_directories: [{text: "ABCD"}, {text: "BCDA"}, {text: "CDFFF"}];
|
2023-11-11 04:49:54 +13:00
|
|
|
in-out property <string> info_text: "Nothing to report";
|
2023-11-11 05:11:32 +13:00
|
|
|
}
|