void (@NotNull TerminalWrapperPanel panel, @NotNull List<TerminalWidget> terminals) { Object child = panel.validateAndGetChild(); if (child instanceof Splitter splitter) { traverseSplitters(splitter, terminals); } else { terminals.add(((TerminalContainer)child).myTerminalWidget); } }