git-gui: ensure the file in the diff pane is in the list of selected files
commita0a0c6838744ce51bcbb634f459e173e8be59c22
authorAlex Riesen <alexander.riesen@cetitec.com>
Tue, 28 Jun 2016 08:59:25 +0000 (28 10:59 +0200)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Mon, 3 Oct 2016 22:27:14 +0000 (3 23:27 +0100)
tree9d465081bb8c1e7d85e1e426f5ec7ff39dbd88d1
parent52d196af6a5cb8441028914876a60ecec6c464e7
git-gui: ensure the file in the diff pane is in the list of selected files

It is very confusing that the file which diff is displayed is marked as
selected, but it is not in fact selected (that means the array of selected
files does not include the file in question).

Fixing this also improves the use of $FILENAMES in custom defined tools: one
does not have to click the file in the list to make it selected.

Signed-off-by: Alex Riesen <alexander.riesen@cetitec.com>
Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
lib/diff.tcl