tree ca4df0223f7020a302680c22c6efdb48830a6d7b
parent 72e6b002021e45255f568fc0c885d82de75ae935
author Alexander Gavrilov <angavrilov@gmail.com> 1221685653 +0400
committer Shawn O. Pearce <spearce@spearce.org> 1222285712 -0700

git-gui: Add a menu of available encodings.

To make encoding selection easier, add a menu that
lists available encodings to the Options window.

Menu structure is borrowed from Firefox.

Signed-off-by: Alexander Gavrilov <angavrilov@gmail.com>
Tested-by: Johannes Sixt <johannes.sixt@telecom.at>
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>