|
WebBrowser |
|
/*
** Rachel - Resource Loading Toolkit for Web Start/JNLP
** Copyright (c) 2001, 2002 by Gerald Bauer
**
** This program is free software.
**
** You may redistribute it and/or modify it under the terms of the GNU
** General Public License as published by the Free Software Foundation.
** Version 2 of the license should be included with this distribution in
** the file LICENSE, as well as License.html. If the license is not
** included with this distribution, you may find a copy at the FSF web
** site at 'www.gnu.org' or 'www.fsf.org', or you may write to the
** Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139 USA.
**
** THIS SOFTWARE IS PROVIDED AS-IS WITHOUT WARRANTY OF ANY KIND,
** NOT EVEN THE IMPLIED WARRANTY OF MERCHANTABILITY. THE AUTHOR
** OF THIS SOFTWARE, ASSUMES _NO_ RESPONSIBILITY FOR ANY
** CONSEQUENCE RESULTING FROM THE USE, MODIFICATION, OR
** REDISTRIBUTION OF THIS SOFTWARE.
**
*/
package demo.common.html;
import java.io.*;
import java.net.*;
import javax.swing.*;
import javax.swing.event.*;
import javax.swing.text.html.*;
import houston.*;
public class WebBrowser
{
static Logger T = Logger.getLogger( WebBrowser.class );
private JEditorPane _browser;
public WebBrowser()
{
_browser = new JEditorPane();
_browser.setEditable( false );
_browser.setContentType( "text/html" );
_browser.addHyperlinkListener(
new HyperlinkListener()
{
public void hyperlinkUpdate( HyperlinkEvent ev )
{
if( ev.getEventType() == HyperlinkEvent.EventType.ACTIVATED )
{
if( ev instanceof HTMLFrameHyperlinkEvent )
{
JEditorPane p = ( JEditorPane ) ev.getSource();
HTMLDocument doc = ( HTMLDocument ) p.getDocument();
doc.processHTMLFrameHyperlinkEvent( ( HTMLFrameHyperlinkEvent ) ev );
}
else
showDocument( ev.getURL() );
}
}
} );
}
public JComponent getComponent()
{
return _browser;
}
public void showDocument( URL url )
{
try
{
_browser.setPage( url );
}
catch( IOException ioex )
{
Status.error( "*** failed to load URL: " + ioex.toString() );
}
}
public void showHtmlText( String html )
{
_browser.setText( html );
}
}
|
WebBrowser |
|