MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-06 03:21:12 +07:00
Code Issues Packages Projects Releases Wiki Activity

add border for info label

Browse Source
This commit is contained in:
Sergey Ignatov
2014-06-21 18:30:25 +04:00
parent c68abddc64
commit cab9b8a811
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
images/src/org/intellij/images/editor/impl/ImageEditorUI.java
View File

@@ -24,6 +24,7 @@ import com.intellij.openapi.util.text.StringUtil;
import com.intellij.openapi.vfs.VirtualFile;
import com.intellij.psi.PsiElement;
import com.intellij.psi.PsiManager;
import com.intellij.ui.IdeBorderFactory;
import com.intellij.ui.PopupHandler;
import com.intellij.ui.ScrollPaneFactory;
import com.intellij.ui.components.JBLayeredPane;
@@ -145,6 +146,7 @@ final class ImageEditorUI extends JPanel implements DataProvider {
JPanel topPanel = new JPanel(new BorderLayout());
topPanel.add(toolbarPanel, BorderLayout.WEST);
infoLabel = new JLabel((String)null, SwingConstants.RIGHT);
infoLabel.setBorder(IdeBorderFactory.createEmptyBorder(0, 0, 0, 2));
topPanel.add(infoLabel, BorderLayout.EAST);
add(topPanel, BorderLayout.NORTH);