diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-10-29 12:08:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-29 12:08:50 +0100 |
commit | 69ccccaf719d488d3a5d3417265f8d822d0c970e (patch) | |
tree | 5ad68045b5f71a1667722244e6d442daea818afe /editor/editor_export.h | |
parent | 7f95ec0ead7fad25b6f4c857a7ac9085d49c91af (diff) | |
parent | 9814446ea040160b1943236a7f9de087b7324df5 (diff) |
Merge pull request #23322 from marcelofg55/export_path
Save last export path when exporting
Diffstat (limited to 'editor/editor_export.h')
-rw-r--r-- | editor/editor_export.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editor/editor_export.h b/editor/editor_export.h index b4ee5b89e7..d1165fd042 100644 --- a/editor/editor_export.h +++ b/editor/editor_export.h @@ -57,6 +57,7 @@ private: ExportFilter export_filter; String include_filter; String exclude_filter; + String export_path; String exporter; Set<String> selected_files; @@ -114,6 +115,9 @@ public: void set_custom_features(const String &p_custom_features); String get_custom_features() const; + void set_export_path(const String &p_path); + String get_export_path() const; + const List<PropertyInfo> &get_properties() const { return properties; } EditorExportPreset(); |