Fixes favorites not updating and rename favorite_dirs to favorites

This commit is contained in:
groud 2018-09-18 14:02:59 +02:00
parent 59536b98b9
commit 76b2ae8dc6
7 changed files with 70 additions and 66 deletions

View file

@ -107,7 +107,7 @@ private:
String config_file_path;
String project_config_dir;
Vector<String> favorite_dirs;
Vector<String> favorites;
Vector<String> recent_dirs;
bool save_changed_setting;
@ -173,8 +173,8 @@ public:
void set_project_metadata(const String &p_section, const String &p_key, Variant p_data);
Variant get_project_metadata(const String &p_section, const String &p_key, Variant p_default) const;
void set_favorite_dirs(const Vector<String> &p_favorites_dirs);
Vector<String> get_favorite_dirs() const;
void set_favorites(const Vector<String> &p_favorites);
Vector<String> get_favorites() const;
void set_recent_dirs(const Vector<String> &p_recent_dirs);
Vector<String> get_recent_dirs() const;
void load_favorites();