the display-name in web.xml now shows the actual version of Gitblit

Thomas Pummer

2013-02-22 dfc4ece4083bbbb98f55291d05e7d2b1513464b7

 src/com/gitblit/client/JPalette.java

@@ -144,7 +144,7 @@
      table.getColumn(table.getColumnName(0)).setCellRenderer(nameRenderer);



      JScrollPane jsp = new JScrollPane(table);

      jsp.setPreferredSize(new Dimension(225, 175));

      jsp.setPreferredSize(new Dimension(225, 160));

      JPanel panel = new JPanel(new BorderLayout());

      JLabel jlabel = new JLabel(label);

      jlabel.setFont(jlabel.getFont().deriveFont(Font.BOLD));