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