commit 47282d4646372aa859908c3b9471b96c385abe5f
author Shawn O. Pearce <spearce@spearce.org> Thu Jul 05 18:39:40 2007 -0400
committer Shawn O. Pearce <spearce@spearce.org> Fri Jul 06 04:02:18 2007 -0400
tree 4a9fa44723364a45b6cb3eea659b5366acaad913
parent 87b49a533b0ee0da06c06fb466844885ae0d35bd

git-gui: Ensure windows shortcuts always have .bat extension

Apparently under some setups on Windows Tk is hiding our file
extension recommendation of ".bat" from the user and that is
allowing the user to create a shortcut file which has no file
extension.  Double clicking on such a file in Windows Explorer
brings up the associate file dialog, as Windows does not know
what application to launch.

We now append the file extension ".bat" to the filename of the
shortcut file if it has no extension or if it has one but it is
not ".bat".

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>