mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

fixup CDocumentProvider

Browse source
This commit is contained in:
David Inglis 2002-09-24 19:59:20 +00:00
parent defbca8c8f
commit fc3bcd32fe
1 changed files with 1 additions and 26 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

27
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/CDocumentProvider.java
View file

@ -101,29 +101,4 @@ public class CDocumentProvider extends FileDocumentProvider {
return super.createAnnotationModel(element);
}
protected ElementInfo createElementInfo(Object element) throws CoreException {
if (element instanceof IFileEditorInput) {
IFileEditorInput input= (IFileEditorInput) element;
try {
input.getFile().refreshLocal(IResource.DEPTH_INFINITE, null);
} catch (CoreException x) {
handleCoreException(x,"CFileDocumentProvider.createElementInfo"); //$NON-NLS-1$
}
IDocument d= createDocument(element);
IAnnotationModel m= new CMarkerAnnotationModel(((IFileEditorInput)element).getFile());
FileSynchronizer f= new FileSynchronizer(input);
f.install();
FileInfo info= new FileInfo(d, m, f);
info.fModificationStamp= computeModificationStamp(input.getFile());
return info;
}
return super.createElementInfo(element);
}
}
}