Elgato_dark/gitui
1
0
Fork 0
mirror of https://github.com/gitui-org/gitui synced 2026-05-23 17:08:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

update state after merge (#703)

Browse source
This commit is contained in:
Stephan Dilly 2021-05-12 11:37:21 +02:00 committed by GitHub
parent 3643cea44d
commit ca808ca300
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/components/branchlist.rs
View file

@ -239,6 +239,9 @@ impl Component for BranchListComponent {
self.merge_branch()
);
self.hide();
self.queue.borrow_mut().push_back(
InternalEvent::Update(NeedsUpdate::ALL),
);
} else if e == self.key_config.tab_toggle {
self.local = !self.local;
self.update_branches()?;