From 9effe1630d97039b3e01cd9b58ed07e75be1d63c Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Mon, 25 Feb 2013 08:40:30 -0500 Subject: [PATCH] Merge pull request #75 from thefake/master --- src/com/gitblit/client/JPalette.java | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-) diff --git a/src/com/gitblit/client/JPalette.java b/src/com/gitblit/client/JPalette.java index 07900cb..a0c2b25 100644 --- a/src/com/gitblit/client/JPalette.java +++ b/src/com/gitblit/client/JPalette.java @@ -138,14 +138,13 @@ NameRenderer nameRenderer = new NameRenderer(); table.setCellSelectionEnabled(false); table.setRowSelectionAllowed(true); - table.setRowHeight(nameRenderer.getFont().getSize() + 8); table.getTableHeader().setReorderingAllowed(false); table.setGridColor(new Color(0xd9d9d9)); table.setBackground(Color.white); 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)); -- Gitblit v1.9.1