AstInspector.java 文件源码

private void updateParseTree(final TreeViewer treeViewer) {
    this.parseTreeViewer = treeViewer;
    if ( treeViewer == null ) {
        parseTreeContainer.setViewportView(null);
    }
    else {
        parseTreeContainer.setViewportView(treeViewer);
        treeViewer.setScale(parseTreeScale.getValue() / 1000.0 + 1.0);
        new DragScroller().install(treeViewer);
        treeViewer.addMouseWheelListener(new MouseAdapter() {
            @Override
            public void mouseWheelMoved(MouseWheelEvent e) {
                parseTreeScale.setValue(parseTreeScale.getValue() - e.getWheelRotation() * 100);
            }
        });
    }
}