static CloneableEditorSupport findRedirect(CloneableEditorSupport one) { return findRedirect(one, false); } static CloneableEditorSupport findRedirect(CloneableEditorSupport one, boolean check) {
/** * Set the MIME type for the document. * @param s the new MIME type */ public void setMIMEType(String s) { CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this, true); if (redirect != null) { redirect.setMIMEType(s); return; } mimeType = s; }
/** Test whether the document is in memory, or whether loading is still in progress. * @return <code>true</code> if document is loaded */ public boolean isDocumentLoaded() { CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.isDocumentLoaded(); } return documentStatus != DOCUMENT_NO; }
/** Test whether the document is ready. * @return <code>true</code> if document is ready */ boolean isDocumentReady() { CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.isDocumentReady(); } return documentStatus == DOCUMENT_READY; }
/** Get the line set for all paragraphs in the document. * @return positions of all paragraphs on last save */ public Line.Set getLineSet() { CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.getLineSet(); } return updateLineSet(false); }
/** * Gets the undo redo manager. * @return the manager */ protected final synchronized UndoRedo.Manager getUndoRedo() { CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.getUndoRedo(); } if (undoRedo == null) { UndoRedo.Manager mgr = createUndoRedoManager(); // if (!(mgr instanceof UndoRedoManager)) { // ERR.info("createUndoRedoManager(): ignoring created instance of class " + // NOI18N // mgr.getClass() + " since CloneableEditorSupport requires instance of " + // NOI18N" // UndoRedoManager.class.getName() + "\n"); // NOI18N // mgr = new UndoRedoManager(this); // } undoRedo = mgr; } return undoRedo; }
/** Test whether the document is modified. * @return <code>true</code> if the document is in memory and is modified; * otherwise <code>false</code> */ public boolean isModified() { CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.isModified(); } return cesEnv().isModified(); }
/** Closes all opened editors (if the user agrees) and * flushes content of the document to the file. * * @param ask ask whether to save the document or not? * @return <code>false</code> if the operation is cancelled */ @Override protected boolean close(boolean ask) { CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.close(ask); } if (!super.close(ask)) { // if not all editors has been closed return false; } notifyClosed(); return true; }
CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.getOpenedPanes();
CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.getInputStream();
CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.getRecentPane();
CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.getDocument();
CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.prepareDocument();
CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { redirect.open();
CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.openAtImpl(pos, column, reuse);
CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); final boolean log = ERR.isLoggable(Level.FINE); if (log) {
CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { return redirect.openDocument();
CloneableEditorSupport redirect = CloneableEditorSupportRedirector.findRedirect(this); if (redirect != null) { redirect.print();