mirror/git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-11-18 15:14:36 +01:00
Code

git-gui: Clear diff from viewer if the side changed.

Browse Source 
If the user switches the currently shown file from one side of the UI
to the other then how its diff is presented would be different.  And
leaving the old diff up is downright confusing.

Since the diff is probably not interesting to the user after the switch
we should just clear the diff viewer.  This saves the user time, as they
won't need to wait for us to reload the diff.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
This commit is contained in:
Shawn O. Pearce 2007-01-21 13:22:26 -05:00
parent 079d0d5057
commit 6bdc929984
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
git-gui.sh
View File

@ -556,14 +556,17 @@ proc clear_diff {} {
}
proc reshow_diff {} {
global ui_status_value file_states
global ui_status_value file_states file_lists
global current_diff_path current_diff_side
if {$current_diff_path eq {}
|| [catch {set s $file_states($current_diff_path)}]} {
set p $current_diff_path
if {$p eq {}
|| $current_diff_side eq {}
|| [catch {set s $file_states($p)}]
|| [lsearch -sorted $file_lists($current_diff_side) $p] == -1} {
clear_diff
} else {
show_diff $current_diff_path $current_diff_side
show_diff $p $current_diff_side
}
}