patch, 2 partsChange git gui to display the diff with the HEAD in the case of conflicts.

The rationale for this change is that the previous behaviour did not allow the user to make an informed decision about the likely consequences of "Use Local Version" or "Stage to commit".

For example, use of "Use Local Version" would silently discard from the index, and the working tree any successfully merged remote hunks. Since these hunks had never been displayed to the user, this loss would be unnoticed and unexpected.

In the case of "Stage to commit" the successfully merged remote hunks are preserved in the index and the working tree, but unless the user checks the diff after the action has been taken, the user may not be aware that these hunks were staged in the first place since these hunks are not visible until after the "Stage to commit" action has been taken.

With this change, the gui displays what the index would contain if the current working tree copy (including diff markers, if any) was staged to the index as is. If there are successfully merged hunks from the remote branch in the index, then these will be visible in diff. With this change the potential consequences of both "Use Local Version" and "Stage to commit" are directly visible.

Signed-off-by: Jon Seymour <jon.seymour@gmail.com>
---
Ok, here's the change that makes the proposed safe behaviour, the
default behaviour.

I can supply a patch to make it optional upon request, but I think that is a dumb idea since it makes the default behaviour unsafe and requires configuration to get safe behavour.

       [PATCH 1/2] Introduce is_unmerged global variable to
encapsulate its derivation.
---
 git-gui/lib/diff.tcl |    6 +++++-
 1 files changed, 5 insertions(+), 1 deletions(-)