Re: [PATCH 2/2] git-gui: ensure the file in the diff pane is in the list of selected files

Alex Riesen writes: >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

[PATCH 2/2] 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