HackStudio: Only refresh Git widget on save if initialized

This commit is contained in:
Itamar 2020-09-18 14:58:23 +03:00 committed by Andreas Kling
commit b82a254da0
Notes: sideshowbarker 2024-07-19 02:21:31 +09:00
3 changed files with 35 additions and 7 deletions

View file

@ -43,10 +43,13 @@ public:
void refresh();
void set_view_diff_callback(ViewDiffCallback callback);
bool initialized() const { return !m_git_repo.is_null(); };
private:
explicit GitWidget(const LexicalPath& repo_root);
bool initialize();
bool initialize_if_needed();
void stage_file(const LexicalPath&);
void unstage_file(const LexicalPath&);
void commit();