development/gitg
development/gitg
1
0
Fork 0
mirror of https://gitlab.gnome.org/GNOME/gitg synced 2024-07-17 11:08:17 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Locate all the properties together

Browse source
This commit is contained in:
Techlive Zheng 2013-06-03 11:34:45 +08:00
parent ceda5ffe3c
commit 75f04c9f17
1 changed files with 10 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -91,6 +91,11 @@ namespace GitgHistory
populate(d_repository);
}
public List<Gitg.Ref> all
{
get { return d_all; }
}
[Notify]
public Gitg.Repository repository
{
@ -107,6 +112,11 @@ namespace GitgHistory
set { d_selected_iter = value; }
}
public bool show_expanders
{
get { return false; }
}
private static int sort_refs(Gitg.Ref a, Gitg.Ref b)
{
return a.parsed_name.shortname.ascii_casecmp(b.parsed_name.shortname);
@ -270,16 +280,6 @@ namespace GitgHistory
end_section();
}
public List<Gitg.Ref> all
{
get { return d_all; }
}
public bool show_expanders
{
get { return false; }
}
private new void append(string text,
string? name,
string? icon_name,