Code

git-gui: Corrected keyboard bindings on Windows, improved state management.