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

Remove NavigationSide, no need for now

Browse source
This commit is contained in:
Techlive Zheng 2013-06-03 10:57:41 +08:00
parent 33e59a4a64
commit c2a0ed04e6
1 changed files with 0 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -38,12 +38,6 @@ namespace GitgHistory
OID
}
public enum NavigationSide
{
LEFT = 0,
TOP = 1
}
public delegate void NavigationActivated(int numclick);
private class Activated : Object
@ -291,11 +285,6 @@ namespace GitgHistory
get { return false; }
}
public NavigationSide navigation_side
{
get { return NavigationSide.LEFT; }
}
private new void append(string text,
string? name,
string? icon_name,