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

new method getBufferFactory() to overload the parent.

Browse source
This commit is contained in:
Alain Magloire 2003-04-28 02:37:47 +00:00
parent d495a4ffa5
commit 66a20f07fd
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -194,7 +194,8 @@ public class CDocumentProvider extends FileDocumentProvider {
} }
IAnnotationModel m= createAnnotationModel(input); IAnnotationModel m= createAnnotationModel(input);
IWorkingCopy c= (IWorkingCopy) original.getSharedWorkingCopy(getProgressMonitor(), fBufferFactory); IBufferFactory factory = getBufferFactory();
IWorkingCopy c= (IWorkingCopy) original.getSharedWorkingCopy(getProgressMonitor(), factory);
DocumentAdapter a= null; DocumentAdapter a= null;
try { try {
@ -321,6 +322,7 @@ public class CDocumentProvider extends FileDocumentProvider {
public IBufferFactory getBufferFactory() { public IBufferFactory getBufferFactory() {
return fBufferFactory; return fBufferFactory;
} }
/** /**
* Returns the underlying resource for the given element. * Returns the underlying resource for the given element.
* *