home *** CD-ROM | disk | FTP | other *** search
- import com.sun.java.swing.SwingUtilities;
- import com.sun.java.swing.text.Document;
- import java.awt.Component;
- import java.awt.Container;
- import java.awt.Cursor;
- import java.io.IOException;
- import java.net.URL;
-
- class HtmlPanel$PageLoader implements Runnable {
- // $FF: synthetic field
- private final HtmlPanel this$0;
- URL url;
- Cursor cursor;
-
- HtmlPanel$PageLoader(HtmlPanel var1, URL var2, Cursor var3) {
- this.this$0 = var1;
- this.this$0 = var1;
- this.url = var2;
- this.cursor = var3;
- }
-
- public void run() {
- if (this.url == null) {
- this.this$0.html.setCursor(this.cursor);
- Container var8 = this.this$0.html.getParent();
- ((Component)var8).repaint();
- } else {
- Document var1 = this.this$0.html.getDocument();
-
- try {
- this.this$0.html.setPage(this.url);
- } catch (IOException var6) {
- this.this$0.html.setDocument(var1);
- this.this$0.getToolkit().beep();
- } finally {
- this.url = null;
- SwingUtilities.invokeLater(this);
- }
-
- }
- }
- }
-