git: Disable delete button when there is no selection in the tags pane
commita8e32956eeac5d35eb65a7b8cf8be02dd4075028
authorJohannes Schmid <jhs@gnome.org>
Sun, 11 Dec 2011 10:31:19 +0000 (11 11:31 +0100)
committerJohannes Schmid <jhs@gnome.org>
Sun, 11 Dec 2011 11:03:26 +0000 (11 12:03 +0100)
treea84b0acd8e9e11a548b3fd8d3ecdb66a5a95c540
parent799460cccb354cdabcb03763e10b69195c3dc541
git: Disable delete button when there is no selection in the tags pane
plugins/git/git-tags-pane.c
plugins/git/git-tags-pane.h
plugins/git/plugin.c