src/share/classes/javax/swing/JEditorPane.java

Print this page




 662                         public void run() {
 663                             URL u = (URL) getDocument().getProperty
 664                                 (Document.StreamDescriptionProperty);
 665                             String ref = u.getRef();
 666                             scrollToReference(ref);
 667                         }
 668                     };
 669                     SwingUtilities.invokeLater(callScrollToReference);
 670                 }
 671                 pageLoaded = true;
 672             } catch (IOException ioe) {
 673                 UIManager.getLookAndFeel().provideErrorFeedback(JEditorPane.this);
 674             } finally {
 675                 if (pageLoaded) {
 676                     SwingUtilities.invokeLater(new Runnable() {
 677                         public void run() {
 678                             JEditorPane.this.firePropertyChange("page", old, page);
 679                         }
 680                     });
 681                 }
 682                 return (pageLoaded ? page : old);
 683             }

 684         }
 685 
 686         /**
 687          * The stream to load the document with
 688          */
 689         InputStream in;
 690 
 691         /**
 692          * URL of the old page that was replaced (for the property change event)
 693          */
 694         URL old;
 695 
 696         /**
 697          * URL of the page being loaded (for the property change event)
 698          */
 699         URL page;
 700 
 701         /**
 702          * The Document instance to load into. This is cached in case a
 703          * new Document is created between the time the thread this is created




 662                         public void run() {
 663                             URL u = (URL) getDocument().getProperty
 664                                 (Document.StreamDescriptionProperty);
 665                             String ref = u.getRef();
 666                             scrollToReference(ref);
 667                         }
 668                     };
 669                     SwingUtilities.invokeLater(callScrollToReference);
 670                 }
 671                 pageLoaded = true;
 672             } catch (IOException ioe) {
 673                 UIManager.getLookAndFeel().provideErrorFeedback(JEditorPane.this);
 674             } finally {
 675                 if (pageLoaded) {
 676                     SwingUtilities.invokeLater(new Runnable() {
 677                         public void run() {
 678                             JEditorPane.this.firePropertyChange("page", old, page);
 679                         }
 680                     });
 681                 }

 682             }
 683             return (pageLoaded ? page : old);
 684         }
 685 
 686         /**
 687          * The stream to load the document with
 688          */
 689         InputStream in;
 690 
 691         /**
 692          * URL of the old page that was replaced (for the property change event)
 693          */
 694         URL old;
 695 
 696         /**
 697          * URL of the page being loaded (for the property change event)
 698          */
 699         URL page;
 700 
 701         /**
 702          * The Document instance to load into. This is cached in case a
 703          * new Document is created between the time the thread this is created