development/gitg
development/gitg
1
0
Fork 0
mirror of https://gitlab.gnome.org/GNOME/gitg synced 2024-08-27 20:09:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix check for branch being currently checked out

Browse source
This commit is contained in:
Jesse van den Kieboom 2012-07-17 11:26:42 +02:00
parent c0ca6cca32
commit ffb202d76e
1 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
plugins/history/gitg-history-navigation.vala
View file

@ -96,7 +96,12 @@ namespace GitgHistory
try
{
head = repo.get_head();
head = repo.lookup_reference("HEAD");
if (head.get_reference_type() != Ggit.RefType.SYMBOLIC)
{
head = null;
}
} catch {}
// Branches
@ -106,7 +111,7 @@ namespace GitgHistory
{
var it = item;
if (head != null && item.get_id().equal(head.get_id()))
if (head != null && item.get_name() == head.get_target())
{
model.append_default(item.parsed_name.shortname,
"object-select-symbolic",