From ad8331a0611b41e5ed2676f94c9e153fc1c241f5 Mon Sep 17 00:00:00 2001 From: Alain Magloire Date: Tue, 30 Mar 2004 14:48:09 +0000 Subject: [PATCH] Check if the resource is accessible --- core/org.eclipse.cdt.ui/ChangeLog | 1 + .../org/eclipse/cdt/internal/ui/ErrorTickAdornmentProvider.java | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/core/org.eclipse.cdt.ui/ChangeLog b/core/org.eclipse.cdt.ui/ChangeLog index e104f76af55..f042d4d79bd 100644 --- a/core/org.eclipse.cdt.ui/ChangeLog +++ b/core/org.eclipse.cdt.ui/ChangeLog @@ -3,6 +3,7 @@ Fix PR 56734 * src/org/eclipse/cdt/internal/ui/buildconsole/BuildConsolePage.java + * src/org/eclipse/cdt/internal/ui/ErrorTickAdornmentProvider.java * puglin.xml 2004-03-30 Alain Magloire diff --git a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/ErrorTickAdornmentProvider.java b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/ErrorTickAdornmentProvider.java index 29f0b4af823..9caee4096b7 100644 --- a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/ErrorTickAdornmentProvider.java +++ b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/ErrorTickAdornmentProvider.java @@ -75,7 +75,7 @@ public class ErrorTickAdornmentProvider implements IAdornmentProvider { // Reasons include: // This resource does not exist. // This resource is a project that is not open. - if (res == null || !res.exists()) { // for elements in archives + if (res == null || !res.isAccessible()) { // for elements in archives return 0; } int info= 0;