development/gitg
development/gitg
1
0
Fork 0
mirror of https://gitlab.gnome.org/GNOME/gitg synced 2024-10-31 04:58:58 +00:00
Code Issues Projects Releases Packages Wiki Activity

Small code cleanup

Browse source
This commit is contained in:
Jesse van den Kieboom 2013-07-01 09:55:29 +02:00
parent 4df870d91c
commit 893a6e9894
1 changed files with 13 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -82,7 +82,8 @@ namespace GitgHistory
update_sort_mode(); update_sort_mode();
}); });
d_selected = new Gee.HashSet<Ggit.OId>((Gee.HashDataFunc<Ggit.OId>)Ggit.OId.hash, (Gee.EqualDataFunc<Ggit.OId>)Ggit.OId.equal); d_selected = new Gee.HashSet<Ggit.OId>((Gee.HashDataFunc<Ggit.OId>)Ggit.OId.hash,
(Gee.EqualDataFunc<Ggit.OId>)Ggit.OId.equal);
d_navigation_model = new Navigation(application.repository); d_navigation_model = new Navigation(application.repository);
d_navigation_model.ref_activated.connect((r) => { d_navigation_model.ref_activated.connect((r) => {
@ -95,9 +96,14 @@ namespace GitgHistory
update_sort_mode(); update_sort_mode();
application.bind_property("repository", d_navigation_model, "repository", BindingFlags.DEFAULT); application.bind_property("repository", d_navigation_model,
application.bind_property("repository", d_commit_list_model, "repository", BindingFlags.DEFAULT); "repository", BindingFlags.DEFAULT);
application.bind_property("repository", this, "repository", BindingFlags.DEFAULT);
application.bind_property("repository", d_commit_list_model,
"repository", BindingFlags.DEFAULT);
application.bind_property("repository", this,
"repository", BindingFlags.DEFAULT);
application.notify["repository"].connect((a, r) => { application.notify["repository"].connect((a, r) => {
notify_property("available"); notify_property("available");
@ -250,9 +256,9 @@ namespace GitgHistory
var interface_settings = new Settings("org.gnome.gitg.preferences.interface"); var interface_settings = new Settings("org.gnome.gitg.preferences.interface");
interface_settings.bind("orientation", interface_settings.bind("orientation",
d_paned_panels, d_paned_panels,
"orientation", "orientation",
SettingsBindFlags.GET); SettingsBindFlags.GET);
} }
private void update_walker(Navigation n, Gitg.Ref? head) private void update_walker(Navigation n, Gitg.Ref? head)