private void traverseSplitters(@NotNull Splitter splitter, @NotNull List<TerminalWidget> terminals) {
    traverseWrapperPanel((TerminalWrapperPanel)splitter.getFirstComponent(), terminals);
    traverseWrapperPanel((TerminalWrapperPanel)splitter.getSecondComponent(), terminals);
  }
private void traverseSplitters(@NotNull Splitter splitter, @NotNull List<TerminalWidget> terminals)