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));