diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-09-30 23:00:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-30 23:00:07 +0200 |
| commit | 3e1b6304613855cad56938e8a58848f09363a298 (patch) | |
| tree | 2d0456e7247b899053397f1584617c56890a8d60 /editor/editor_file_system.h | |
| parent | 1c0ae31c9eb1cd7d228e82ea6ad6babee5231395 (diff) | |
| parent | 6596c7bdc2692ea5717209750de08f4df7e0412b (diff) | |
Merge pull request #53025 from Paulb23/textfile-ux
Diffstat (limited to 'editor/editor_file_system.h')
| -rw-r--r-- | editor/editor_file_system.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/editor_file_system.h b/editor/editor_file_system.h index b47cf5523a..feadd0f2b2 100644 --- a/editor/editor_file_system.h +++ b/editor/editor_file_system.h @@ -190,6 +190,7 @@ class EditorFileSystem : public Node { void _delete_internal_files(String p_file); + Set<String> textfile_extensions; Set<String> valid_extensions; Set<String> import_extensions; |