private static void stretch(@NotNull ToolWindow window, boolean isHorizontalStretching, boolean isIncrementAction) {
    ToolWindowAnchor anchor = window.getAnchor();
    Dimension size = WindowAction.getPreferredDelta();
    if (isHorizontalStretching && !anchor.isHorizontal()) {
      int scroll = size.width * Registry.intValue("ide.windowSystem.hScrollChars");
      boolean positive = (anchor == ToolWindowAnchor.LEFT) == isIncrementAction;
      ((ToolWindowEx)window).stretchWidth(positive ? scroll : -scroll);
    }
    else if (!isHorizontalStretching && anchor.isHorizontal()) {
      int scroll = size.height * Registry.intValue("ide.windowSystem.vScrollChars");
      boolean positive = (anchor == ToolWindowAnchor.TOP) != isIncrementAction;
      ((ToolWindowEx)window).stretchHeight(positive ? scroll : -scroll);
    }
  }
private static void stretch(@NotNull ToolWindow window, boolean isHorizontalStretching, boolean isIncrementAction)