@Override public void run() { if (!isClosed()) fDocument.set(fContents); }
@Override public void run() { try { if (!isClosed()) fDocument.replace(fOffset, fLength, fText); } catch (BadLocationException x) { // ignore } }
@Override public void run() { if (!isClosed()) fDocument.set(fContents); }
@Override public void run() { try { if (!isClosed()) fDocument.replace(fOffset, fLength, fText); } catch (BadLocationException x) { // ignore } }
public void run() { try { if (!isClosed()) fDocument.replace(fOffset, fLength, fText); } catch (BadLocationException x) { // ignore } }
public void run() { if (!isClosed()) fDocument.set(fContents); }
@Override public void run() { try { if (!isClosed()) { fUndoEdit= new RewriteSessionEditProcessor(fDocument, fEdit, TextEdit.UPDATE_REGIONS | TextEdit.CREATE_UNDO).performEdits(); } } catch (BadLocationException x) { // ignore } }
@Override public void run() { try { if (!isClosed()) { fUndoEdit= new RewriteSessionEditProcessor(fDocument, fEdit, TextEdit.UPDATE_REGIONS | TextEdit.CREATE_UNDO).performEdits(); } } catch (BadLocationException x) { // ignore } }
public void close() { if (isClosed()) return; IDocument d= fDocument; fDocument= null; d.removePrenotifiedDocumentListener(this); if (fTextFileBuffer != null) { ITextFileBufferManager manager= FileBuffers.getTextFileBufferManager(); try { manager.disconnect(fPath, fLocationKind, new NullProgressMonitor()); } catch (CoreException x) { // ignore } fTextFileBuffer= null; } fireBufferChanged(new BufferChangedEvent(this, 0, 0, null)); fBufferListeners.clear(); }
@Override public void close() { if (isClosed()) return; IDocument d= fDocument; fDocument= new Document(); fIsClosed= true; d.removeDocumentListener(this); if (fTextFileBuffer != null) { ITextFileBufferManager manager= FileBuffers.getTextFileBufferManager(); try { if (fFileStore != null) manager.disconnectFileStore(fFileStore, new NullProgressMonitor()); else manager.disconnect(fPath, fLocationKind, new NullProgressMonitor()); } catch (CoreException x) { // ignore } fTextFileBuffer= null; } fireBufferChanged(new BufferChangedEvent(this, 0, 0, null)); fBufferListeners.clear(); }
@Override public void close() { if (isClosed()) return; IDocument d= fDocument; fDocument= new Document(); fIsClosed= true; d.removeDocumentListener(this); if (fTextFileBuffer != null) { ITextFileBufferManager manager= FileBuffers.getTextFileBufferManager(); try { if (fFileStore != null) manager.disconnectFileStore(fFileStore, new NullProgressMonitor()); else manager.disconnect(fPath, fLocationKind, new NullProgressMonitor()); } catch (CoreException x) { // ignore } fTextFileBuffer= null; } fireBufferChanged(new BufferChangedEvent(this, 0, 0, null)); fBufferListeners.clear(); }