+ tree.setDefaultNodeSize(5000);
+ content.add(tree);
+
+ HorizontalPanel statistics = new HorizontalPanel();
+ statistics.addStyleName(Pithos.resources.pithosCss().statistics());
+ statistics.add(new HTML("Used: "));
+ usedBytes = new HTML();
+ statistics.add(usedBytes);
+ statistics.add(new HTML(" of "));
+ totalBytes = new HTML();
+ statistics.add(totalBytes);
+ statistics.add(new HTML(" ("));
+ usedPercent = new HTML();
+ statistics.add(usedPercent);
+ statistics.add(new HTML(")"));
+ content.add(statistics);
+ content.setCellHorizontalAlignment(statistics, HasHorizontalAlignment.ALIGN_CENTER);
+
+ panel.setContent(content);
+ initWidget(panel);