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

Check if the resource is accessible

Browse source
This commit is contained in:
Alain Magloire 2004-03-30 14:48:09 +00:00
parent 24a43f659d
commit ad8331a061
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
core/org.eclipse.cdt.ui/ChangeLog
View file

@ -3,6 +3,7 @@
Fix PR 56734 Fix PR 56734
* src/org/eclipse/cdt/internal/ui/buildconsole/BuildConsolePage.java * src/org/eclipse/cdt/internal/ui/buildconsole/BuildConsolePage.java
* src/org/eclipse/cdt/internal/ui/ErrorTickAdornmentProvider.java
* puglin.xml * puglin.xml
2004-03-30 Alain Magloire 2004-03-30 Alain Magloire

2
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/ErrorTickAdornmentProvider.java
View file

@ -75,7 +75,7 @@ public class ErrorTickAdornmentProvider implements IAdornmentProvider {
// Reasons include: // Reasons include:
// This resource does not exist. // This resource does not exist.
// This resource is a project that is not open. // 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; return 0;
} }
int info= 0; int info= 0;