/** * Called when the loading of a document was completed. */ public void documentLoadingCompleted(SVGDocumentLoaderEvent e) { if (debug) { System.out.print(resources.getString("Message.documentLoadTime")); System.out.println((System.currentTimeMillis() - time) + " ms"); } setSVGDocument(e.getSVGDocument(), e.getSVGDocument().getURL(), e.getSVGDocument().getTitle()); }
/** * Called when the loading of a document was completed. */ public void documentLoadingCompleted(SVGDocumentLoaderEvent e) { if (debug) { System.out.print(resources.getString("Message.documentLoadTime")); System.out.println((System.currentTimeMillis() - time) + " ms"); } setSVGDocument(e.getSVGDocument(), e.getSVGDocument().getURL(), e.getSVGDocument().getTitle()); }
svgViewerFrame.setSVGDocument(outDoc, uri, outDoc.getTitle());
svgViewerFrame.setSVGDocument(outDoc, uri, outDoc.getTitle());