public void actionPerformed(ActionEvent e) { application.closeJSVGViewerFrame(JSVGViewerFrame.this); } }
/** * Returns the default font family. */ public String getDefaultFontFamily() { return application.getDefaultFontFamily(); }
/** * Returns the language settings. */ public String getLanguages() { return application.getLanguages(); }
listeners.put(PREFERENCES_ACTION, new PreferencesAction()); listeners.put(CLOSE_ACTION, new CloseAction()); listeners.put(EXIT_ACTION, application.createExitAction(this)); listeners.put(VIEW_SOURCE_ACTION, new ViewSourceAction()); mf.createJMenuBar("MenuBar", application.getUISpecialization()); setJMenuBar(mb); String[] uri = application.getVisitedURIs(); for (String anUri : uri) { if (anUri != null && !"".equals(anUri)) {
ParsedURL scriptURL, ParsedURL docURL){ if (!application.canLoadScriptType(scriptType)) { return new NoLoadScriptSecurity(scriptType); } else { switch(application.getAllowedScriptOrigin()) { case ResourceOrigin.ANY: return new RelaxedScriptSecurity(scriptType,
application.addVisitedURI(s); backAction.update(); forwardAction.update();
public void actionPerformed(ActionEvent e) { JSVGViewerFrame vf = application.createAndShowJSVGViewerFrame(); // Copy the current settings to the new window. vf.autoAdjust = autoAdjust; vf.debug = debug; vf.svgCanvas.setProgressivePaint(svgCanvas.getProgressivePaint()); vf.svgCanvas.setDoubleBufferedRendering (svgCanvas.getDoubleBufferedRendering()); } }
/** * Returns this user agent's CSS media. */ public String getMedia() { return application.getMedia(); }
/** * Returns the security settings for the given * resource url and document url * * @param resourceURL url for the resource, as defined in * the resource's xlink:href attribute. If that * attribute was empty, then this parameter should * be null * @param docURL url for the document into which the * resource was found. */ public ExternalResourceSecurity getExternalResourceSecurity(ParsedURL resourceURL, ParsedURL docURL){ switch(application.getAllowedExternalResourceOrigin()) { case ResourceOrigin.ANY: return new RelaxedExternalResourceSecurity(resourceURL, docURL); case ResourceOrigin.DOCUMENT: return new DefaultExternalResourceSecurity(resourceURL, docURL); case ResourceOrigin.EMBEDED: return new EmbededExternalResourceSecurity(resourceURL); default: return new NoLoadExternalResourceSecurity(); } }
listeners.put(PREFERENCES_ACTION, new PreferencesAction()); listeners.put(CLOSE_ACTION, new CloseAction()); listeners.put(EXIT_ACTION, application.createExitAction(this)); listeners.put(VIEW_SOURCE_ACTION, new ViewSourceAction()); mf.createJMenuBar("MenuBar", application.getUISpecialization()); setJMenuBar(mb); String[] uri = application.getVisitedURIs(); for (int i=0; i<uri.length; i++) { if (uri[i] != null && !"".equals(uri[i])) {
ParsedURL scriptURL, ParsedURL docURL){ if (!application.canLoadScriptType(scriptType)) { return new NoLoadScriptSecurity(scriptType); } else { switch(application.getAllowedScriptOrigin()) { case ResourceOrigin.ANY: return new RelaxedScriptSecurity(scriptType,
application.addVisitedURI(s); backAction.update(); forwardAction.update();
public void actionPerformed(ActionEvent e) { JSVGViewerFrame vf = application.createAndShowJSVGViewerFrame(); // Copy the current settings to the new window. vf.autoAdjust = autoAdjust; vf.debug = debug; vf.svgCanvas.setProgressivePaint(svgCanvas.getProgressivePaint()); vf.svgCanvas.setDoubleBufferedRendering (svgCanvas.getDoubleBufferedRendering()); } }
/** * Returns this user agent's CSS media. */ public String getMedia() { return application.getMedia(); }
/** * Returns the security settings for the given * resource url and document url * * @param resourceURL url for the resource, as defined in * the resource's xlink:href attribute. If that * attribute was empty, then this parameter should * be null * @param docURL url for the document into which the * resource was found. */ public ExternalResourceSecurity getExternalResourceSecurity(ParsedURL resourceURL, ParsedURL docURL){ switch(application.getAllowedExternalResourceOrigin()) { case ResourceOrigin.ANY: return new RelaxedExternalResourceSecurity(resourceURL, docURL); case ResourceOrigin.DOCUMENT: return new DefaultExternalResourceSecurity(resourceURL, docURL); case ResourceOrigin.EMBEDED: return new EmbededExternalResourceSecurity(resourceURL); default: return new NoLoadExternalResourceSecurity(); } }
public void windowClosing(WindowEvent e) { application.closeJSVGViewerFrame(JSVGViewerFrame.this); } });
/** * Called when a link was activated. */ public void linkActivated(LinkActivationEvent e) { String s = e.getReferencedURI(); if (svgDocument != null) { ParsedURL docURL = new ParsedURL(svgDocument.getURL()); ParsedURL url = new ParsedURL(docURL, s); if (!url.sameFile(docURL)) { return; } if (s.indexOf( '#' ) != -1) { localHistory.update(s); locationBar.setText(s); if (debugger != null) { debugger.detach(); debugger.setDocumentURL(s); } application.addVisitedURI(s); backAction.update(); forwardAction.update(); transformHistory = new TransformHistory(); previousTransformAction.update(); nextTransformAction.update(); } } }
/** * Returns the language settings. */ public String getLanguages() { return application.getLanguages(); }
/** * Returns the default font family. */ public String getDefaultFontFamily() { return application.getDefaultFontFamily(); }
public void actionPerformed(ActionEvent e) { application.closeJSVGViewerFrame(JSVGViewerFrame.this); } }