} else { inspector.setForDocument( panel.doc, panel.c, (XRStyleReference)panel.c.css );
        public void actionPerformed( ActionEvent evt ) {            if ( inspectorFrame == null ) {                inspectorFrame = new JFrame( "DOM Tree Inspector" );            }            if ( inspector == null ) {                // inspectorFrame = new JFrame("DOM Tree Inspector");                // CLEAN: this is more complicated than it needs to be                // DOM Tree Inspector needs to work with either CSSBank                // or XRStyleReference--implementations are not perfectly                // so we have different constructors                if ( panel.c.css instanceof CSSBank ) {                    inspector = new DOMInspector( panel.doc );                } else {                    inspector = new DOMInspector( panel.doc, panel.c, (XRStyleReference)panel.c.css );                }                inspectorFrame.getContentPane().add( inspector );                inspectorFrame.pack();                inspectorFrame.setSize( text_width, 600 );                inspectorFrame.show();            } else {                if ( panel.c.css instanceof CSSBank ) {                    inspector.setForDocument( panel.doc );                } else {                    inspector.setForDocument( panel.doc, panel.c, (XRStyleReference)panel.c.css );                }            }            inspectorFrame.show();        }