@Override
public Insets getBorderInsets(final Component c) {
if (myProject == null) return new Insets(0, 0, 0, 0);
ToolWindowManager toolWindowManager = ToolWindowManager.getInstance(myProject);
if (!(toolWindowManager instanceof ToolWindowManagerImpl)
|| !((ToolWindowManagerImpl) toolWindowManager).isToolWindowRegistered(myInfo.getId())
|| myWindow.getType() == ToolWindowType.FLOATING) {
return new Insets(0, 0, 0, 0);
}
ToolWindowAnchor anchor = myWindow.getAnchor();
Component component = myWindow.getComponent();
Container parent = component.getParent();
while (parent != null) {
if (parent instanceof Splitter) {
Splitter splitter = (Splitter) parent;
boolean isFirst = splitter.getFirstComponent() == component;
boolean isVertical = splitter.isVertical();
return new Insets(
0,
anchor == ToolWindowAnchor.RIGHT || (!isVertical && !isFirst) ? 1 : 0,
(isVertical && isFirst) ? 1 : 0,
anchor == ToolWindowAnchor.LEFT || (!isVertical && isFirst) ? 1 : 0);
}
component = parent;
parent = component.getParent();
}
return new Insets(
0,
anchor == ToolWindowAnchor.RIGHT ? 1 : 0,
anchor == ToolWindowAnchor.TOP ? 1 : 0,
anchor == ToolWindowAnchor.LEFT ? 1 : 0);
}
private void updateTabBorder() {
if (!myProject.isOpen()) return;
ToolWindowManagerEx mgr = (ToolWindowManagerEx) ToolWindowManager.getInstance(myProject);
String[] ids = mgr.getToolWindowIds();
Insets border = new Insets(0, 0, 0, 0);
UISettings uiSettings = UISettings.getInstance();
List<String> topIds = mgr.getIdsOn(ToolWindowAnchor.TOP);
List<String> bottom = mgr.getIdsOn(ToolWindowAnchor.BOTTOM);
List<String> rightIds = mgr.getIdsOn(ToolWindowAnchor.RIGHT);
List<String> leftIds = mgr.getIdsOn(ToolWindowAnchor.LEFT);
if (!uiSettings.HIDE_TOOL_STRIPES) {
border.top = topIds.size() > 0 ? 1 : 0;
border.bottom = bottom.size() > 0 ? 1 : 0;
border.left = leftIds.size() > 0 ? 1 : 0;
border.right = rightIds.size() > 0 ? 1 : 0;
}
for (String each : ids) {
ToolWindow eachWnd = mgr.getToolWindow(each);
if (!eachWnd.isAvailable()) continue;
if (eachWnd.isVisible() && eachWnd.getType() == ToolWindowType.DOCKED) {
ToolWindowAnchor eachAnchor = eachWnd.getAnchor();
if (eachAnchor == ToolWindowAnchor.TOP) {
border.top = 0;
} else if (eachAnchor == ToolWindowAnchor.BOTTOM) {
border.bottom = 0;
} else if (eachAnchor == ToolWindowAnchor.LEFT) {
border.left = 0;
} else if (eachAnchor == ToolWindowAnchor.RIGHT) {
border.right = 0;
}
}
}
myTabs
.getPresentation()
.setPaintBorder(border.top, border.left, border.right, border.bottom)
.setTabSidePaintBorder(5);
}
