From d30c5fde195df91ec1dfa5796099dce57208e1eb Mon Sep 17 00:00:00 2001 From: irengrig Date: Tue, 7 Dec 2010 18:03:59 +0300 Subject: [PATCH] git log: border for right pane --- plugins/git4idea/src/git4idea/history/wholeTree/GitLogUI.java | 1 + 1 file changed, 1 insertion(+) diff --git a/plugins/git4idea/src/git4idea/history/wholeTree/GitLogUI.java b/plugins/git4idea/src/git4idea/history/wholeTree/GitLogUI.java index 7418580246eb..de3bff093e10 100644 --- a/plugins/git4idea/src/git4idea/history/wholeTree/GitLogUI.java +++ b/plugins/git4idea/src/git4idea/history/wholeTree/GitLogUI.java @@ -339,6 +339,7 @@ public class GitLogUI implements Disposable { final JLabel label = new JLabel(text, JLabel.CENTER); label.setUI(new MultiLineLabelUI()); jPanel.add(label, BorderLayout.CENTER); + jPanel.setBorder(BorderFactory.createLineBorder(UIUtil.getBorderColor())); return jPanel; }