Code

git-gui: fix usage of themed widgets variable