[ui]: implement label with rounded background area

2026-09-27 10:03:11 +07:00 · 2016-11-18 16:40:13 +03:00
parent b1695608d8
commit 5828081493
1 changed files with 65 additions and 0 deletions
@@ -0,0 +1,65 @@
+/*
+ * Copyright 2000-2016 JetBrains s.r.o.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+package com.intellij.ui;
+
+import com.intellij.ui.paint.RectanglePainter;
+import com.intellij.util.ui.JBEmptyBorder;
+import com.intellij.util.ui.JBUI;
+import org.jetbrains.annotations.NotNull;
+import org.jetbrains.annotations.Nullable;
+
+import javax.swing.*;
+import java.awt.*;
+import java.awt.font.FontRenderContext;
+
+public class LabelUtil {
+  @NotNull
+  public static JLabel createLabelWithRoundCorners(@NotNull String text,
+                                                   @Nullable Color fg,
+                                                   @Nullable final Color bg,
+                                                   float fontScale,
+                                                   int roundWidth,
+                                                   int borderVOffset,
+                                                   int borderHOffset) {
+    JBEmptyBorder emptyBorder = JBUI.Borders.empty(borderVOffset, borderHOffset);
+    JLabel label = new JLabel(text) {
+      @Override
+      protected void paintComponent(Graphics g) {
+        if (g instanceof Graphics2D) {
+          Graphics2D g2d = (Graphics2D)g;
+          g2d.setColor(bg);
+          Rectangle textRect = getTextRect(getText(), g2d);
+          Insets borderInsets = emptyBorder.getBorderInsets();
+          // base line - coordinate right under text -> so we have to shift 1px up
+          int baselineIncludeOffset = getBaseline(0, 0)+1;
+          RectanglePainter.FILL.paint(g2d, 0, getHeight() - baselineIncludeOffset + textRect.y - borderInsets.top, getWidth(),
+                                      textRect.height + borderInsets.top + borderInsets.bottom, roundWidth);
+          super.paintComponent(g);
+        }
+      }
+    };
+    Font labelFont = label.getFont();
+    label.setFont(labelFont.deriveFont(labelFont.getSize() * fontScale));
+    label.setForeground(fg);
+    label.setBorder(emptyBorder);
+    return label;
+  }
+
+  private static Rectangle getTextRect(@NotNull String text, @NotNull Graphics2D g2d) {
+    FontRenderContext frc = g2d.getFontRenderContext();
+    return g2d.getFont().createGlyphVector(frc, text).getPixelBounds(frc, 0, 0);
+  }
+}