Java 类com.intellij.ui.tabs.JBTabsPresentation 实例源码

public JBTabsPresentation setTabSidePaintBorder(int size) {
  final int newSize = JBTabsImpl.getBorder(size);
  if (myTabBorderSize == newSize) return myTabs;

  myTabBorderSize = newSize;
  myEffectiveBorder = null;

  myTabs.revalidateAndRepaint(false);

  return myTabs;
}

@Override
public void doLayout() {
  super.doLayout();
  Component child = getComponentCount() == 1 ? getComponent(0) : null;
  if (child instanceof JBTabsPresentation) {
    if (!((JBTabsPresentation)child).isHideTabs()) {
      Rectangle bounds = child.getBounds();
      bounds.y --;
      bounds.height ++;
      child.setBounds(bounds);
    }
  }
}

public JBTabsPresentation setTabSidePaintBorder(int size) {
  final int newSize = JBTabsImpl.getBorder(size);
  if (myTabBorderSize == newSize) return myTabs;

  myTabBorderSize = newSize;
  myEffectiveBorder = null;

  myTabs.revalidateAndRepaint(false);

  return myTabs;
}

public JBTabsPresentation setTabSidePaintBorder(int size) {
  final int newSize = JBTabsImpl.getBorder(size);
  if (myTabBorderSize == newSize) return myTabs;

  myTabBorderSize = newSize;
  myEffectiveBorder = null;

  myTabs.revalidateAndRepaint(false);

  return myTabs;
}

public JBTabsPresentation setTabSidePaintBorder(int size) {
  final int newSize = JBTabsImpl.getBorder(size);
  if (myTabBorderSize == newSize) return myTabs;

  myTabBorderSize = newSize;
  myEffectiveBorder = null;

  myTabs.revalidateAndRepaint(false);

  return myTabs;
}

@Override
public void doLayout() {
  super.doLayout();
  Component child = getComponentCount() == 1 ? getComponent(0) : null;
  if (child instanceof JBTabsPresentation) {
    if (!((JBTabsPresentation)child).isHideTabs()) {
      Rectangle bounds = child.getBounds();
      bounds.y --;
      bounds.height ++;
      child.setBounds(bounds);
    }
  }
}

public JBTabsPresentation setPaintBorder(int top, int left, int right, int bottom) {
  final Insets newBorder = new Insets(
    JBTabsImpl.getBorder(top), JBTabsImpl.getBorder(left), JBTabsImpl.getBorder(bottom), JBTabsImpl.getBorder(right));
  if (newBorder.equals(myBorderSize)) return myTabs;

  myBorderSize = newBorder;

  myEffectiveBorder = null;

  myTabs.relayout(true, false);

  return myTabs;
}

public JBTabsPresentation setPaintBorder(int top, int left, int right, int bottom) {
  final Insets newBorder = new Insets(
    JBTabsImpl.getBorder(top), JBTabsImpl.getBorder(left), JBTabsImpl.getBorder(bottom), JBTabsImpl.getBorder(right));
  if (newBorder.equals(myBorderSize)) return myTabs;

  myBorderSize = newBorder;

  myEffectiveBorder = null;

  myTabs.relayout(true, false);

  return myTabs;
}

public JBTabsPresentation setPaintBorder(int top, int left, int right, int bottom) {
  final Insets newBorder = new Insets(
    JBTabsImpl.getBorder(top), JBTabsImpl.getBorder(left), JBTabsImpl.getBorder(bottom), JBTabsImpl.getBorder(right));
  if (newBorder.equals(myBorderSize)) return myTabs;

  myBorderSize = newBorder;

  myEffectiveBorder = null;

  myTabs.relayout(true, false);

  return myTabs;
}

public JBTabsPresentation setPaintBorder(int top, int left, int right, int bottom) {
  final Insets newBorder = new JBInsets(
    JBTabsImpl.getBorder(top), JBTabsImpl.getBorder(left), JBTabsImpl.getBorder(bottom), JBTabsImpl.getBorder(right));
  if (newBorder.equals(myBorderSize)) return myTabs;

  myBorderSize = newBorder;

  myEffectiveBorder = null;

  myTabs.relayout(true, false);

  return myTabs;
}