diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2020-12-29 10:39:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-29 10:39:27 +0100 |
| commit | 8a14dc746a15a62e14ac9ba9549b70bac709830c (patch) | |
| tree | 4fe74909f95d303bd3814291fa67fa03267a0b4a /platform/javascript/api | |
| parent | c6e9d912e129373d81e6610a3733ffc7fb7a146b (diff) | |
| parent | 09212fba1ebbb29595456b01bf25c0ca80592a2d (diff) | |
Merge pull request #44788 from akien-mga/container-is_empty
Fix missed renamings from empty() to is_empty()
Diffstat (limited to 'platform/javascript/api')
| -rw-r--r-- | platform/javascript/api/javascript_tools_editor_plugin.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform/javascript/api/javascript_tools_editor_plugin.cpp b/platform/javascript/api/javascript_tools_editor_plugin.cpp index a063718a0c..2096dacdd8 100644 --- a/platform/javascript/api/javascript_tools_editor_plugin.cpp +++ b/platform/javascript/api/javascript_tools_editor_plugin.cpp @@ -108,7 +108,7 @@ void JavaScriptToolsEditorPlugin::_zip_recursive(String p_path, String p_base_pa } dir->list_dir_begin(); String cur = dir->get_next(); - while (!cur.empty()) { + while (!cur.is_empty()) { String cs = p_path.plus_file(cur); if (cur == "." || cur == ".." || cur == ".import") { // Skip |