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

Print this page

        

*** 677,688 **** public void run() { JEditorPane.this.firePropertyChange("page", old, page); } }); } - return (pageLoaded ? page : old); } } /** * The stream to load the document with */ --- 677,688 ---- public void run() { JEditorPane.this.firePropertyChange("page", old, page); } }); } } + return (pageLoaded ? page : old); } /** * The stream to load the document with */