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

Set position with all other properties

Browse source
This commit is contained in:
Jesse van den Kieboom 2013-07-03 09:26:36 +02:00
parent 7baeb3065a
commit a7c0856019
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
gitg/gitg-ui-elements.vala
View file

@ -167,11 +167,6 @@ public class UIElements<T> : Object
private void add_available(GitgExt.UIElement e)
{
d_stack.add_with_properties(e.widget,
"name", e.id,
"title", e.display_name,
"icon-name", e.icon);
int insert_position = 0;
unowned List<GitgExt.UIElement> item = d_available_elements;
@ -182,7 +177,12 @@ public class UIElements<T> : Object
}
d_available_elements.insert(e, insert_position);
d_stack.child_set(e.widget, "position", insert_position);
d_stack.add_with_properties(e.widget,
"name", e.id,
"title", e.display_name,
"icon-name", e.icon,
"position", insert_position);
}
private void available_changed(Object o, ParamSpec spec)