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-22 10:13:45 +13:00
|
|
|
|
|
|
|
// Settings
|
|
|
|
in-out property <string> excluded_items: "Excluded items";
|
|
|
|
in-out property <string> allowed_extensions: "Allowed extensions";
|
2023-11-11 05:11:32 +13:00
|
|
|
}
|