/** * Reload the current document. */ public void reload() { if (_doc == null) { return; } _rootBox = null; _active_element = null; _hovered_element = null; _focus_element = null; if (Configuration.isTrue("xr.cache.stylesheets", true)) { _sharedContext.getCss().flushStyleSheets(); } else { _sharedContext.getCss().flushAllStyleSheets(); } setCursor(null); _sharedContext.reset(); if (_offscreen != null) { _offscreen.dispose(); _offscreen = null; } _origin = new Point(0, 0); getHorizontalBar().setSelection(0); getVerticalBar().setSelection(0); redraw(); }
private void setDocument(Document doc, String url, NamespaceHandler nsh) { this.doc = doc; sharedContext.reset(); if (Configuration.isTrue("xr.cache.stylesheets", true)) { sharedContext.getCss().flushStyleSheets(); } else { sharedContext.getCss().flushAllStyleSheets(); } sharedContext.setBaseURL(url); sharedContext.setNamespaceHandler(nsh); sharedContext.getCss().setDocumentContext( sharedContext, sharedContext.getNamespaceHandler(), doc, new NullUserInterface() ); }
private void setDocument(Document doc, String url, NamespaceHandler nsh) { this.doc = doc; sharedContext.reset(); if (Configuration.isTrue("xr.cache.stylesheets", true)) { sharedContext.getCss().flushStyleSheets(); } else { sharedContext.getCss().flushAllStyleSheets(); } sharedContext.setBaseURL(url); sharedContext.setNamespaceHandler(nsh); sharedContext.getCss().setDocumentContext( sharedContext, sharedContext.getNamespaceHandler(), doc, new NullUserInterface() ); }
private void setDocument(Document doc, String url, NamespaceHandler nsh) { this.doc = doc; sharedContext.reset(); if (Configuration.isTrue("xr.cache.stylesheets", true)) { sharedContext.getCss().flushStyleSheets(); } else { sharedContext.getCss().flushAllStyleSheets(); } sharedContext.setBaseURL(url); sharedContext.setNamespaceHandler(nsh); sharedContext.getCss().setDocumentContext( sharedContext, sharedContext.getNamespaceHandler(), doc, new NullUserInterface() ); }
private void setDocument(Document doc, String url, NamespaceHandler nsh) { this.doc = doc; sharedContext.reset(); if (Configuration.isTrue("xr.cache.stylesheets", true)) { sharedContext.getCss().flushStyleSheets(); } else { sharedContext.getCss().flushAllStyleSheets(); } sharedContext.setBaseURL(url); sharedContext.setNamespaceHandler(nsh); sharedContext.getCss().setDocumentContext( sharedContext, sharedContext.getNamespaceHandler(), doc, new NullUserInterface() ); }
_sharedContext.reset(); if (_offscreen != null) { _offscreen.dispose();
public void setDocument(Document doc, String url, NamespaceHandler nsh) { _doc = doc; getFontResolver().flushFontFaceFonts(); _sharedContext.reset(); if (Configuration.isTrue("xr.cache.stylesheets", true)) { _sharedContext.getCss().flushStyleSheets(); } else { _sharedContext.getCss().flushAllStyleSheets(); } _sharedContext.setBaseURL(url); _sharedContext.setNamespaceHandler(nsh); _sharedContext.getCss().setDocumentContext(_sharedContext, _sharedContext.getNamespaceHandler(), doc, new NullUserInterface()); getFontResolver().importFontFaces(_sharedContext.getCss().getFontFaceRules()); }
public void setDocument(Document doc, String url, NamespaceHandler nsh) { _doc = doc; getFontResolver().flushFontFaceFonts(); _sharedContext.reset(); if (Configuration.isTrue("xr.cache.stylesheets", true)) { _sharedContext.getCss().flushStyleSheets(); } else { _sharedContext.getCss().flushAllStyleSheets(); } _sharedContext.setBaseURL(url); _sharedContext.setNamespaceHandler(nsh); _sharedContext.getCss().setDocumentContext(_sharedContext, _sharedContext.getNamespaceHandler(), doc, new NullUserInterface()); getFontResolver().importFontFaces(_sharedContext.getCss().getFontFaceRules()); }
public void setDocument(Document doc, String url, NamespaceHandler nsh) { _doc = doc; getFontResolver().flushFontFaceFonts(); _sharedContext.reset(); if (Configuration.isTrue("xr.cache.stylesheets", true)) { _sharedContext.getCss().flushStyleSheets(); } else { _sharedContext.getCss().flushAllStyleSheets(); } _sharedContext.setBaseURL(url); _sharedContext.setNamespaceHandler(nsh); _sharedContext.getCss().setDocumentContext(_sharedContext, _sharedContext.getNamespaceHandler(), doc, new NullUserInterface()); getFontResolver().importFontFaces(_sharedContext.getCss().getFontFaceRules()); }
public void setDocument(Document doc, String url, NamespaceHandler nsh) { _doc = doc; getFontResolver().flushFontFaceFonts(); _sharedContext.reset(); if (Configuration.isTrue("xr.cache.stylesheets", true)) { _sharedContext.getCss().flushStyleSheets(); } else { _sharedContext.getCss().flushAllStyleSheets(); } _sharedContext.setBaseURL(url); _sharedContext.setNamespaceHandler(nsh); _sharedContext.getCss().setDocumentContext( _sharedContext, _sharedContext.getNamespaceHandler(), doc, new NullUserInterface()); getFontResolver().importFontFaces(_sharedContext.getCss().getFontFaceRules()); }
public void setDocument(Document doc, String url, NamespaceHandler nsh) { _doc = doc; getFontResolver().flushFontFaceFonts(); _sharedContext.reset(); if (Configuration.isTrue("xr.cache.stylesheets", true)) { _sharedContext.getCss().flushStyleSheets(); } else { _sharedContext.getCss().flushAllStyleSheets(); } _sharedContext.setBaseURL(url); _sharedContext.setNamespaceHandler(nsh); _sharedContext.getCss().setDocumentContext( _sharedContext, _sharedContext.getNamespaceHandler(), doc, new NullUserInterface()); getFontResolver().importFontFaces(_sharedContext.getCss().getFontFaceRules()); }
public void setDocument(Document doc, String url, NamespaceHandler nsh) { fireDocumentStarted(); resetScrollPosition(); setRootBox(null); this.doc = doc; //have to do this first if (Configuration.isTrue("xr.cache.stylesheets", true)) { getSharedContext().getCss().flushStyleSheets(); } else { getSharedContext().getCss().flushAllStyleSheets(); } getSharedContext().reset(); getSharedContext().setBaseURL(url); getSharedContext().setNamespaceHandler(nsh); getSharedContext().getCss().setDocumentContext(getSharedContext(), getSharedContext().getNamespaceHandler(), doc, this); repaint(); }
public void setDocument(Document doc, String url, NamespaceHandler nsh) { fireDocumentStarted(); resetScrollPosition(); setRootBox(null); this.doc = doc; //have to do this first if (Configuration.isTrue("xr.cache.stylesheets", true)) { getSharedContext().getCss().flushStyleSheets(); } else { getSharedContext().getCss().flushAllStyleSheets(); } getSharedContext().reset(); getSharedContext().setBaseURL(url); getSharedContext().setNamespaceHandler(nsh); getSharedContext().getCss().setDocumentContext(getSharedContext(), getSharedContext().getNamespaceHandler(), doc, this); repaint(); }