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

cleanup

Browse source
This commit is contained in:
Stephan Dilly 2020-04-12 19:45:37 +02:00
parent e43ed300ed
commit c0f0883f1b
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/app.rs
View file

@ -321,7 +321,6 @@ impl App {
}
}
//TODO: use a new popups_list call for this
let main_cmds_available = !self.any_popup_visible();
{