mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
custom tabs for runner ui
This commit is contained in:
Dennis Ushakov
@@ -0,0 +1,248 @@
|
||||
/*
|
||||
* Copyright 2000-2012 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.execution.ui.layout.impl;
|
||||
|
||||
import com.intellij.openapi.Disposable;
|
||||
import com.intellij.openapi.actionSystem.ActionGroup;
|
||||
import com.intellij.openapi.actionSystem.ActionManager;
|
||||
import com.intellij.openapi.project.Project;
|
||||
import com.intellij.openapi.wm.IdeFocusManager;
|
||||
import com.intellij.ui.Gray;
|
||||
import com.intellij.ui.tabs.TabInfo;
|
||||
import com.intellij.ui.tabs.TabsUtil;
|
||||
import com.intellij.ui.tabs.UiDecorator;
|
||||
import com.intellij.ui.tabs.impl.JBTabsImpl;
|
||||
import com.intellij.ui.tabs.impl.TabLabel;
|
||||
import com.intellij.util.ui.SameColor;
|
||||
import com.intellij.util.ui.UIUtil;
|
||||
import org.jetbrains.annotations.NotNull;
|
||||
import org.jetbrains.annotations.Nullable;
|
||||
|
||||
import javax.swing.*;
|
||||
import javax.swing.border.EmptyBorder;
|
||||
import java.awt.*;
|
||||
import java.util.List;
|
||||
|
||||
/**
|
||||
* @author Dennis.Ushakov
|
||||
*/
|
||||
public class JBRunnerTabs extends JBTabsImpl {
|
||||
public JBRunnerTabs(@Nullable Project project, ActionManager actionManager, IdeFocusManager focusManager, @NotNull Disposable parent) {
|
||||
super(project, actionManager, focusManager, parent);
|
||||
}
|
||||
|
||||
@Override
|
||||
protected void paintFirstGhost(Graphics2D g2d) {}
|
||||
|
||||
@Override
|
||||
protected void paintLastGhost(Graphics2D g2d) {}
|
||||
|
||||
public boolean isGhostsAlwaysVisible() {
|
||||
return false;
|
||||
}
|
||||
|
||||
protected void doPaintInactive(Graphics2D g2d,
|
||||
boolean leftGhostExists,
|
||||
TabLabel label,
|
||||
Rectangle effectiveBounds,
|
||||
boolean rightGhostExists) {
|
||||
Insets insets = getTabsBorder().getEffectiveBorder();
|
||||
|
||||
int _x = effectiveBounds.x + insets.left;
|
||||
int _y = effectiveBounds.y + insets.top + 5;
|
||||
int _width = effectiveBounds.width - insets.left - insets.right;
|
||||
int _height = effectiveBounds.height - insets.top - insets.bottom - 5;
|
||||
_height -= TabsUtil.ACTIVE_TAB_UNDERLINE_HEIGHT;
|
||||
|
||||
g2d
|
||||
.setPaint(new GradientPaint(_x, _y, new Color(255, 255, 255, 180), _x, _y + effectiveBounds.height, new Color(255, 255, 255, 100)));
|
||||
g2d.fillRect(_x, _y, _width, _height);
|
||||
|
||||
g2d.setColor(new Color(255, 255, 255, 100));
|
||||
g2d.drawRect(_x, _y, _width - 1, _height - 1);
|
||||
}
|
||||
|
||||
@Override
|
||||
protected void doPaintBackground(Graphics2D g2d, Rectangle clip) {
|
||||
g2d.setColor(UIUtil.getPanelBackground());
|
||||
g2d.fill(clip);
|
||||
|
||||
g2d.setColor(new Color(0, 0, 0, 50));
|
||||
g2d.fill(clip);
|
||||
|
||||
List<TabInfo> visibleInfos = getVisibleInfos();
|
||||
|
||||
Insets insets = getTabsBorder().getEffectiveBorder();
|
||||
|
||||
int maxOffset = 0;
|
||||
int maxLength = 0;
|
||||
|
||||
for (int i = visibleInfos.size() - 1; i >= 0; i--) {
|
||||
TabInfo visibleInfo = visibleInfos.get(i);
|
||||
TabLabel tabLabel = myInfo2Label.get(visibleInfo);
|
||||
Rectangle r = tabLabel.getBounds();
|
||||
if (r.width == 0 || r.height == 0) continue;
|
||||
maxOffset = r.x + r.width;
|
||||
maxLength = r.height;
|
||||
break;
|
||||
}
|
||||
|
||||
maxOffset++;
|
||||
|
||||
Rectangle r2 = getBounds();
|
||||
|
||||
Rectangle rectangle;
|
||||
int y = r2.y + insets.top;
|
||||
int height = maxLength - insets.top - insets.bottom;
|
||||
height -= TabsUtil.ACTIVE_TAB_UNDERLINE_HEIGHT;
|
||||
|
||||
rectangle = new Rectangle(maxOffset, y, r2.width - maxOffset - insets.left - insets.right, height);
|
||||
|
||||
g2d.setPaint(UIUtil.getPanelBackground());
|
||||
g2d.fillRect(rectangle.x, rectangle.y, rectangle.width, rectangle.height);
|
||||
g2d.fillRect(0, 0, rectangle.x + rectangle.width, 5);
|
||||
g2d.fillRect(2, maxLength, getSize().width, getSize().height);
|
||||
g2d.drawLine(0, 0, 0, getSize().height);
|
||||
}
|
||||
|
||||
protected void paintSelectionAndBorder(Graphics2D g2d) {
|
||||
if (getSelectedInfo() == null) return;
|
||||
|
||||
TabLabel label = getSelectedLabel();
|
||||
Rectangle r = label.getBounds();
|
||||
r = new Rectangle(r.x, r.y + 5, r.width, r.height - 5);
|
||||
|
||||
ShapeInfo selectedShape = _computeSelectedLabelShape(r);
|
||||
|
||||
Insets insets = getTabsBorder().getEffectiveBorder();
|
||||
Insets i = selectedShape.path.transformInsets(insets);
|
||||
|
||||
int _x = r.x;
|
||||
int _y = r.y;
|
||||
int _height = r.height;
|
||||
|
||||
g2d.setPaint(new GradientPaint(_x, _y, new SameColor(255), _x, _y + _height, UIUtil.getPanelBackground()));
|
||||
|
||||
g2d.fill(selectedShape.fillPath.getShape());
|
||||
|
||||
g2d.setColor(new Color(255, 255, 255, 180));
|
||||
g2d.draw(selectedShape.fillPath.getShape());
|
||||
|
||||
g2d.setColor(UIUtil.getPanelBackground());
|
||||
g2d.fillRect(2, selectedShape.labelPath.getMaxY() - 3, selectedShape.path.getMaxX() - 3, 4);
|
||||
g2d.drawLine(1, selectedShape.labelPath.getMaxY(), 1, getHeight() - 1);
|
||||
g2d.drawLine(selectedShape.path.getMaxX() - 1, selectedShape.labelPath.getMaxY() - 4,
|
||||
selectedShape.path.getMaxX() - 1, getHeight() - 1);
|
||||
g2d.setColor(new Color(0, 0, 0, 50));
|
||||
g2d.drawLine(1, selectedShape.labelPath.getMaxY(), 1, getHeight() - 1);
|
||||
g2d.drawLine(selectedShape.path.getMaxX() - 1, selectedShape.labelPath.getMaxY() - 4,
|
||||
selectedShape.path.getMaxX() - 1, getHeight() - 1);
|
||||
}
|
||||
|
||||
@Override
|
||||
public Color getBackground() {
|
||||
return Gray._142;
|
||||
}
|
||||
|
||||
protected ShapeInfo _computeSelectedLabelShape(Rectangle r) {
|
||||
final ShapeInfo shape = new ShapeInfo();
|
||||
|
||||
shape.path = getEffectiveLayout().createShapeTransform(getSize());
|
||||
shape.insets = shape.path.transformInsets(getLayoutInsets());
|
||||
shape.labelPath = shape.path.createTransform(r);
|
||||
|
||||
shape.labelBottomY = shape.labelPath.getMaxY() - shape.labelPath.deltaY(TabsUtil.ACTIVE_TAB_UNDERLINE_HEIGHT - 1);
|
||||
shape.labelTopY = shape.labelPath.getY() + shape.labelPath.deltaY(1);
|
||||
shape.labelLeftX = shape.labelPath.getX();
|
||||
shape.labelRightX = shape.labelPath.getMaxX() - shape.labelPath.deltaX(1);
|
||||
|
||||
int leftX = shape.insets.left;
|
||||
|
||||
shape.path.moveTo(leftX, shape.labelBottomY);
|
||||
shape.path.lineTo(shape.labelLeftX, shape.labelBottomY);
|
||||
shape.path.lineTo(shape.labelLeftX, shape.labelTopY);
|
||||
shape.path.lineTo(shape.labelRightX, shape.labelTopY);
|
||||
shape.path.lineTo(shape.labelRightX, shape.labelBottomY);
|
||||
|
||||
int lastX = shape.path.getWidth() - shape.path.deltaX(shape.insets.right);
|
||||
|
||||
shape.path.lineTo(lastX, shape.labelBottomY);
|
||||
shape.path.lineTo(lastX, shape.labelBottomY + shape.labelPath.deltaY(TabsUtil.ACTIVE_TAB_UNDERLINE_HEIGHT - 1));
|
||||
shape.path.lineTo(leftX, shape.labelBottomY + shape.labelPath.deltaY(TabsUtil.ACTIVE_TAB_UNDERLINE_HEIGHT - 1));
|
||||
|
||||
shape.path.closePath();
|
||||
shape.fillPath = shape.path.copy();
|
||||
|
||||
return shape;
|
||||
}
|
||||
|
||||
@Override
|
||||
public int getToolbarInset() {
|
||||
return 8;
|
||||
}
|
||||
|
||||
@Override
|
||||
public Rectangle layout(JComponent c, Rectangle bounds) {
|
||||
if (c instanceof Toolbar) {
|
||||
bounds.height -= 5;
|
||||
return super.layout(c, bounds);
|
||||
}
|
||||
if (c instanceof GridImpl) {
|
||||
bounds.x -= 1;
|
||||
bounds.width += 1;
|
||||
}
|
||||
return super.layout(c, bounds);
|
||||
}
|
||||
|
||||
@Override
|
||||
protected TabLabel createTabLabel(TabInfo info) {
|
||||
return new MyTabLabel(this, info);
|
||||
}
|
||||
|
||||
private static class MyTabLabel extends TabLabel {
|
||||
public MyTabLabel(JBTabsImpl tabs, final TabInfo info) {
|
||||
super(tabs, info);
|
||||
}
|
||||
|
||||
@Override
|
||||
public void apply(UiDecorator.UiDecoration decoration) {
|
||||
setFont(UIUtil.getLabelFont(UIUtil.FontSize.SMALL));
|
||||
myLabel.setFont(UIUtil.getLabelFont(UIUtil.FontSize.SMALL));
|
||||
setBorder(new EmptyBorder(7, 5, 7, 5));
|
||||
}
|
||||
|
||||
@Override
|
||||
public void setTabActionsAutoHide(boolean autoHide) {
|
||||
super.setTabActionsAutoHide(autoHide);
|
||||
apply(null);
|
||||
}
|
||||
|
||||
@Override
|
||||
public void setTabActions(ActionGroup group) {
|
||||
super.setTabActions(group);
|
||||
if (myActionPanel != null) {
|
||||
final JComponent wrapper = (JComponent)myActionPanel.getComponent(0);
|
||||
wrapper.remove(0);
|
||||
wrapper.add(Box.createHorizontalStrut(6), BorderLayout.WEST);
|
||||
}
|
||||
}
|
||||
|
||||
@Override
|
||||
protected int getSelectedOffset() {
|
||||
return getNonSelectedOffset();
|
||||
}
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user