Jtv.java 文件源码

void handleNormalize(KeyEvent e){
    if( (e.getModifiers() & KeyEvent.CTRL_MASK) != 0 ){
        e.consume();
        resetSize();
    }else if( (e.getModifiers() & KeyEvent.ALT_MASK) != 0 ){

        TreeCellRenderer cellRenderer = tree.getCellRenderer();

        if( cellRenderer instanceof DefaultTreeCellRenderer ){

            e.consume();

            DefaultTreeCellRenderer dCellRenderer =
                (DefaultTreeCellRenderer) cellRenderer;

            Font font = dCellRenderer.getFont();
            Font next = new Font(font.getName(), font.getStyle(), 12);
            dCellRenderer.setFont( next );
            cmdInput.storeCaretPos();
            cmdInput.setFont( next );
            SwingUtilities.updateComponentTreeUI(topFrame);
            cmdInput.restoreCaretPos();
        }
    }
}