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

Workaround missing timestamps in includes

Browse source
This commit is contained in:
Markus Schorn 2006-07-04 11:56:28 +00:00
parent 7aecc5731f
commit 9cb27b5066
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/includebrowser/IBViewPart.java
View file

@ -670,11 +670,15 @@ public class IBViewPart extends ViewPart
if (node != null) { if (node != null) {
IWorkbenchPage page= getSite().getPage(); IWorkbenchPage page= getSite().getPage();
IBFile ibf= node.getDirectiveFile(); IBFile ibf= node.getDirectiveFile();
long timestamp= node.getTimestamp();
if (ibf != null) { if (ibf != null) {
IEditorPart editor= null; IEditorPart editor= null;
IPath filebufferKey= null; IPath filebufferKey= null;
IFile f= ibf.getResource(); IFile f= ibf.getResource();
if (f != null) { if (f != null) {
if (timestamp == 0) {
timestamp= f.getLocalTimeStamp();
}
fLastNavigationNode= node; fLastNavigationNode= node;
try { try {
editor= IDE.openEditor(page, f, false); editor= IDE.openEditor(page, f, false);
@ -686,6 +690,9 @@ public class IBViewPart extends ViewPart
else { else {
IPath location= ibf.getLocation(); IPath location= ibf.getLocation();
if (location != null) { if (location != null) {
if (timestamp == 0) {
timestamp= location.toFile().lastModified();
}
fLastNavigationNode= node; fLastNavigationNode= node;
ExternalEditorInput ei= new ExternalEditorInput(new FileStorage(null, location)); ExternalEditorInput ei= new ExternalEditorInput(new FileStorage(null, location));
try { try {
@ -702,7 +709,7 @@ public class IBViewPart extends ViewPart
Position pos= new Position(node.getDirectiveCharacterOffset(), Position pos= new Position(node.getDirectiveCharacterOffset(),
node.getDirectiveName().length() + 2); node.getDirectiveName().length() + 2);
if (filebufferKey != null) { if (filebufferKey != null) {
IPositionConverter pc= CCorePlugin.getPositionTrackerManager().findPositionConverter(filebufferKey, node.getTimestamp()); IPositionConverter pc= CCorePlugin.getPositionTrackerManager().findPositionConverter(filebufferKey, timestamp);
if (pc != null) { if (pc != null) {
pos= pc.historicToActual(pos); pos= pc.historicToActual(pos);
} }