void (@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); } }