Add a statistics page to repository properties
commitfd470c4255574d446b14fc9b9fe350d2fc057911
authorChristian Halstrick <christian.halstrick@sap.com>
Sat, 1 Sep 2012 07:32:02 +0000 (1 09:32 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Sat, 1 Sep 2012 07:32:02 +0000 (1 09:32 +0200)
treeb2b83c0169e87482a65249f752f603185b322fd4
parent1de86139348406d4d210c15111044b5d3e542d19
Add a statistics page to repository properties

When a user opens the properties of a repository (Git Repositories
View-> right-click on a repository node -> Properties) a new page is
added to the Component. This page "Statistics" contains info about the
number and size of loose and packed objects. Also the number of loose
and packed refs and the number of packfiles are listed.

Change-Id: I61281be7db512ccdf5399c98a90b39000365dd71
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.egit.ui/plugin.properties
org.eclipse.egit.ui/plugin.xml
org.eclipse.egit.ui/src/org/eclipse/egit/ui/UIText.java
org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/repository/RepositoryStatisticsPage.java [new file with mode: 0644]
org.eclipse.egit.ui/src/org/eclipse/egit/ui/uitext.properties