Java 类com.intellij.ui.PrevNextActionsDescriptor 实例源码

项目:intellij-ce-playground    文件:EditorComposite.java   
@NotNull
private TabbedPaneWrapper.AsJBTabs createTabbedPaneWrapper(FileEditor[] editors) {
  PrevNextActionsDescriptor descriptor = new PrevNextActionsDescriptor(IdeActions.ACTION_NEXT_EDITOR_TAB, IdeActions.ACTION_PREVIOUS_EDITOR_TAB);
  final TabbedPaneWrapper.AsJBTabs wrapper = new TabbedPaneWrapper.AsJBTabs(myFileEditorManager.getProject(), SwingConstants.BOTTOM, descriptor, this);
  wrapper.getTabs().getPresentation().setPaintBorder(0, 0, 0, 0).setTabSidePaintBorder(1).setGhostsAlwaysVisible(true).setUiDecorator(new UiDecorator() {
    @Override
    @NotNull
    public UiDecoration getDecoration() {
      return new UiDecoration(null, new Insets(0, 8, 0, 8));
    }
  });
  wrapper.getTabs().getComponent().setBorder(new EmptyBorder(0, 0, 1, 0));

  boolean firstEditor = true;
  for (FileEditor editor : editors) {
    JComponent component = firstEditor && myComponent != null ? (JComponent)myComponent.getComponent(0) : createEditorComponent(editor);
    wrapper.addTab(getDisplayName(editor), component);
    firstEditor = false;
  }
  wrapper.addChangeListener(new MyChangeListener());

  return wrapper;
}
项目:consulo    文件:EditorComposite.java   
@Nonnull
private TabbedPaneWrapper.AsJBTabs createTabbedPaneWrapper(FileEditor[] editors) {
  PrevNextActionsDescriptor descriptor = new PrevNextActionsDescriptor(IdeActions.ACTION_NEXT_EDITOR_TAB, IdeActions.ACTION_PREVIOUS_EDITOR_TAB);
  final TabbedPaneWrapper.AsJBTabs wrapper = new TabbedPaneWrapper.AsJBTabs(myFileEditorManager.getProject(), SwingConstants.BOTTOM, descriptor, this);
  wrapper.getTabs().getPresentation().setPaintBorder(0, 0, 0, 0).setTabSidePaintBorder(1).setGhostsAlwaysVisible(true).setUiDecorator(
          () -> new UiDecorator.UiDecoration(null, new Insets(0, 8, 0, 8)));
  wrapper.getTabs().getComponent().setBorder(new EmptyBorder(0, 0, 1, 0));

  boolean firstEditor = true;
  for (FileEditor editor : editors) {
    JComponent component = firstEditor && myComponent != null ? (JComponent)myComponent.getComponent(0) : createEditorComponent(editor);
    wrapper.addTab(getDisplayName(editor), component);
    firstEditor = false;
  }
  wrapper.addChangeListener(new MyChangeListener());

  return wrapper;
}