From f306ef8552efe1580e9c16e1d944f5ed1dca4aae Mon Sep 17 00:00:00 2001
From: James Moger <james.moger@gitblit.com>
Date: Mon, 24 Oct 2011 16:33:40 -0400
Subject: [PATCH] Object counts and refresh labels on all header panels
---
src/com/gitblit/client/HeaderPanel.java | 39 ++++++++++++++++++++++++++++++++-------
1 files changed, 32 insertions(+), 7 deletions(-)
diff --git a/src/com/gitblit/client/HeaderPanel.java b/src/com/gitblit/client/HeaderPanel.java
index 0df2914..3cd89a7 100644
--- a/src/com/gitblit/client/HeaderPanel.java
+++ b/src/com/gitblit/client/HeaderPanel.java
@@ -17,13 +17,16 @@
import java.awt.BasicStroke;
import java.awt.Color;
-import java.awt.FlowLayout;
import java.awt.GradientPaint;
import java.awt.Graphics;
import java.awt.Graphics2D;
+import java.awt.GridLayout;
+import java.awt.Insets;
import java.awt.Paint;
import java.awt.geom.Point2D;
import java.awt.geom.Rectangle2D;
+import java.text.SimpleDateFormat;
+import java.util.Date;
import javax.swing.ImageIcon;
import javax.swing.JLabel;
@@ -35,20 +38,42 @@
private static final long serialVersionUID = 1L;
+ private final Insets insets = new Insets(5, 5, 5, 5);
+
private Color lightColor = new Color(0, 0, 0x60);
+ private JLabel headerLabel;
+
+ private JLabel refreshLabel;
+
public HeaderPanel(String text, String icon) {
- super(new FlowLayout(FlowLayout.LEFT), true);
+ // super(new FlowLayout(FlowLayout.LEFT), true);
+ super(new GridLayout(1, 2, 5, 5), true);
setOpaque(true);
setBackground(new Color(0, 0, 0x20));
- JLabel label = new JLabel(text);
+ headerLabel = new JLabel(text);
if (!StringUtils.isEmpty(icon)) {
- label.setIcon(new ImageIcon(getClass().getResource("/" + icon)));
+ headerLabel.setIcon(new ImageIcon(getClass().getResource("/" + icon)));
}
- label.setForeground(Color.white);
- label.setFont(label.getFont().deriveFont(14f));
- add(label);
+ headerLabel.setForeground(Color.white);
+ headerLabel.setFont(headerLabel.getFont().deriveFont(14f));
+ add(headerLabel);
+
+ refreshLabel = new JLabel("", JLabel.RIGHT);
+ refreshLabel.setForeground(Color.white);
+ add(refreshLabel);
+ }
+
+ public void setText(String text) {
+ headerLabel.setText(text);
+ SimpleDateFormat df = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss");
+ refreshLabel.setText("refreshed " + df.format(new Date()));
+ }
+
+ @Override
+ public Insets getInsets() {
+ return insets;
}
@Override
--
Gitblit v1.9.1