MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-200118 Add keys: advertiser border and insets

Browse Source
This commit is contained in:
Kirill Kirichenko
2018-10-08 18:07:48 +03:00
parent 42fd605287
commit e9d7329b83
1 changed files with 8 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ui/popup/AbstractPopup.java
+8 -10
View File
@@ -29,6 +29,7 @@ import com.intellij.openapi.wm.ex.WindowManagerEx;
import com.intellij.openapi.wm.impl.IdeGlassPaneImpl;
import com.intellij.ui.*;
import com.intellij.ui.awt.RelativePoint;
import com.intellij.ui.border.CustomLineBorder;
import com.intellij.ui.components.JBLabel;
import com.intellij.ui.mac.touchbar.TouchBarsManager;
import com.intellij.ui.speedSearch.SpeedSearch;
@@ -65,6 +66,9 @@ public class AbstractPopup implements JBPopup {
private static final Logger LOG = Logger.getInstance("#com.intellij.ui.popup.AbstractPopup");
private static final JBInsets DEFAULT_AD_INSETS = JBUI.insets(1, 5);
private static final Color AD_BORDER_COLOR = JBColor.namedColor("Popup.Advertiser.borderColor", Gray._135);
private PopupComponent myPopup;
private MyContentPanel myContent;
private JComponent myPreferredFocusedComponent;
@@ -368,17 +372,11 @@ public class AbstractPopup implements JBPopup {
@Override
public void setAdText(@NotNull final String s, int alignment) {
if (myAdComponent == null) {
myAdComponent = HintUtil.createAdComponent(s, JBUI.Borders.empty(1, 5), alignment);
JPanel wrapper = new JPanel(new BorderLayout()) {
@Override
protected void paintComponent(Graphics g) {
g.setColor(Gray._135);
UIUtil.drawLine(g, 0, 0, getWidth(), 0);
super.paintComponent(g);
}
};
Insets i = JBUI.insets("Popup.Advertiser.borderInsets", DEFAULT_AD_INSETS);
myAdComponent = HintUtil.createAdComponent(s, new JBEmptyBorder(i), alignment);
JPanel wrapper = new JPanel(new BorderLayout());
wrapper.setOpaque(false);
wrapper.setBorder(JBUI.Borders.emptyTop(1));
wrapper.setBorder(new CustomLineBorder(AD_BORDER_COLOR, JBUI.insetsTop(1)));
wrapper.add(myAdComponent, BorderLayout.CENTER);
myContent.add(wrapper, BorderLayout.SOUTH);
pack(false, true);