diff options
| -rwxr-xr-x | git-gui.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh index ef353319e..4116821d8 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -400,7 +400,7 @@ proc rescan {after {honor_trustmtime 1}} { global HEAD PARENT MERGE_HEAD commit_type global ui_index ui_workdir ui_status_value ui_comm global rescan_active file_states - global repo_config + global repo_config single_commit if {$rescan_active > 0 || ![lock_index read]} return @@ -427,6 +427,11 @@ proc rescan {after {honor_trustmtime 1}} { $ui_comm edit modified false } + if {!$single_commit} { + load_all_heads + populate_branch_menu + } + if {$honor_trustmtime && $repo_config(gui.trustmtime) eq {true}} { rescan_stage2 {} $after } else { |