Searched refs:toolWindowEx (Results 1 – 1 of 1) sorted by relevance
133 private void setInitialWidth(@NotNull ToolWindowEx toolWindowEx) { in setInitialWidth() argument134 int width = toolWindowEx.getComponent().getWidth(); in setInitialWidth()136 toolWindowEx.stretchWidth(INITIAL_WIDTH - width); in setInitialWidth()