inspectorFrame.setSize( text_width, 600 );
inspectorFrame.setSize( 400, 600 );
        public void actionPerformed( ActionEvent evt ) {            if ( inspectorFrame == null ) {                inspectorFrame = new JFrame( "DOM Tree Inspector" );            }            if ( inspector == null ) {                // inspectorFrame = new JFrame("DOM Tree Inspector");                inspector = new DOMInspector( panel.doc, panel.getRenderingContext().getContext(), panel.getRenderingContext().getContext().css );                inspectorFrame.getContentPane().add( inspector );                inspectorFrame.pack();                inspectorFrame.setSize( text_width, 600 );                inspectorFrame.show();            } else {                inspector.setForDocument( panel.doc, panel.getRenderingContext().getContext(), panel.getRenderingContext().getContext().css );            }            inspectorFrame.show();        }