DMNGridPanel.java 文件源码

private MouseWheelHandler destroyDOMElements() {
    return (event) -> gridLayer
            .getGridWidgets()
            .forEach(gridWidget -> gridWidget
                    .getModel()
                    .getColumns()
                    .stream()
                    .filter(gridColumn -> gridColumn instanceof HasDOMElementResources)
                    .map(gridColumn -> ((HasDOMElementResources) gridColumn))
                    .forEach(HasDOMElementResources::destroyResources));
}