diff options
| author |  Pat Thoyts <patthoyts@users.sourceforge.net> | 2013-06-15 23:36:27 +0100 |
|---|---|---|
| committer | Pat Thoyts <patthoyts@users.sourceforge.net> | 2013-06-15 23:36:27 +0100 |
| commit | 5c37033edf7963616038ff8b980047d5671e168e (patch) | |
| tree | b163e9f088f10dd83fb4cee25e2dfd647611b186 /gitk-git | |
| parent | git-gui: fix file name handling with non-empty prefix (diff) | |
| download | tgif-5c37033edf7963616038ff8b980047d5671e168e.tar.xz | |
git-gui: avoid an error message when removing the last remote
When the last remote is removed on a system that has tearoff menu items
the code that adjusts the fetch and prune menus may raise an error when
probing the menu entry for a non-existing -label option.
Check the entry type to avoid this fault.
Reported-by: Vedran Miletić <rivanvx@gmail.com>
Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
Diffstat (limited to 'gitk-git')
0 files changed, 0 insertions, 0 deletions