Package org.eclipse.core.filebuffers

Examples of org.eclipse.core.filebuffers.IFileBufferManager

390
391
392
393
394
395
396
397
398
399
400
401
   * which has the given parent provider.
   *
   * @param parentProvider the parent document provider
   */
  public TextFileDocumentProvider(IDocumentProvider parentProvider) {
    IFileBufferManager manager= FileBuffers.getTextFileBufferManager();
    manager.setSynchronizationContext(new UISynchronizationContext());
    if (parentProvider != null)
      setParentDocumentProvider(parentProvider);

    fResourceRuleFactory= ResourcesPlugin.getWorkspace().getRuleFactory();
  }
View Full Code Here
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
   *
   * @param element the element
   * @param info the element's file info object
   */
  protected void disposeFileInfo(Object element, FileInfo info) {
    IFileBufferManager manager= FileBuffers.getTextFileBufferManager();
    try {
      info.fTextFileBuffer.releaseSynchronizationContext();
      if (info.fTextFileBufferLocationKind != null)
        manager.disconnect(info.fTextFileBuffer.getLocation(), info.fTextFileBufferLocationKind, getProgressMonitor());
      else
        manager.disconnectFileStore(info.fTextFileBuffer.getFileStore(), getProgressMonitor());
    } catch (CoreException x) {
      handleCoreException(x, "FileDocumentProvider.disposeElementInfo"); //$NON-NLS-1$
    }
  }
View Full Code Here
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
  public void addElementStateListener(IElementStateListener listener) {
    Assert.isNotNull(listener);
    if (!fElementStateListeners.contains(listener)) {
      fElementStateListeners.add(listener);
      if (fElementStateListeners.size() == 1) {
        IFileBufferManager manager= FileBuffers.getTextFileBufferManager();
        manager.addFileBufferListener(fFileBufferListener);
      }
    }
    getParentProvider().addElementStateListener(listener);
  }
View Full Code Here
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
   */
  public void removeElementStateListener(IElementStateListener listener) {
    Assert.isNotNull(listener);
    fElementStateListeners.remove(listener);
    if (fElementStateListeners.size() == 0) {
      IFileBufferManager manager= FileBuffers.getTextFileBufferManager();
      manager.removeFileBufferListener(fFileBufferListener);
    }
    getParentProvider().removeElementStateListener(listener);
  }
View Full Code Here
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
   *
   * @param element the element
   * @param info the element's file info object
   */
  protected void disposeFileInfo(Object element, FileInfo info) {
    IFileBufferManager manager= FileBuffers.getTextFileBufferManager();
    try {
      info.fTextFileBuffer.releaseSynchronizationContext();
      if (info.fTextFileBufferLocationKind != null)
        manager.disconnect(info.fTextFileBuffer.getLocation(), info.fTextFileBufferLocationKind, getProgressMonitor());
      else
        manager.disconnectFileStore(info.fTextFileBuffer.getFileStore(), getProgressMonitor());
    } catch (CoreException x) {
      handleCoreException(x, "FileDocumentProvider.disposeElementInfo"); //$NON-NLS-1$
    }
  }
View Full Code Here
977
978
979
980
981
982
983
984
985
986
987
  public void addElementStateListener(IElementStateListener listener) {
    Assert.isNotNull(listener);
    if (!fElementStateListeners.contains(listener)) {
      fElementStateListeners.add(listener);
      if (fElementStateListeners.size() == 1) {
        IFileBufferManager manager= FileBuffers.getTextFileBufferManager();
        manager.addFileBufferListener(fFileBufferListener);
      }
    }
    getParentProvider().addElementStateListener(listener);
  }
View Full Code Here
991
992
993
994
995
996
997
998
999
1000
   */
  public void removeElementStateListener(IElementStateListener listener) {
    Assert.isNotNull(listener);
    fElementStateListeners.remove(listener);
    if (fElementStateListeners.size() == 0) {
      IFileBufferManager manager= FileBuffers.getTextFileBufferManager();
      manager.removeFileBufferListener(fFileBufferListener);
    }
    getParentProvider().removeElementStateListener(listener);
  }
View Full Code Here
360
361
362
363
364
365
366
367
368
369
370
371
   * which has the given parent provider.
   *
   * @param parentProvider the parent document provider
   */
  public TextFileDocumentProvider(IDocumentProvider parentProvider) {
    IFileBufferManager manager= FileBuffers.getTextFileBufferManager();
    manager.setSynchronizationContext(new UISynchronizationContext());
    if (parentProvider != null)
      setParentDocumentProvider(parentProvider);

    fResourceRuleFactory= ResourcesPlugin.getWorkspace().getRuleFactory();
  }
View Full Code Here
TOP

Related Classes of org.eclipse.core.filebuffers.IFileBufferManager

  • at.bestsolution.efxclipse.text.editor.TextFileDocumentProvider
  • org.eclipse.ui.editors.text.TextFileDocumentProvider
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.