mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-06-09 02:36:01 +02:00
Patch from Dave Daoust to remove an extra call
to ICElement.exists()
This commit is contained in:
parent
bc304ce15e
commit
d09d576efd
2 changed files with 7 additions and 4 deletions
|
@ -1,3 +1,10 @@
|
||||||
|
2004-03-02 Alain Magloire
|
||||||
|
|
||||||
|
From Dave Daoust:
|
||||||
|
A patch that reduces the number of times that files are parsed (by 1).
|
||||||
|
|
||||||
|
* src/org/eclipse/cdt/internal/ui/ErrorTickAdornmentProvider.java
|
||||||
|
|
||||||
2004-03-01 Hoda Amer
|
2004-03-01 Hoda Amer
|
||||||
Removing WorkingCopyManager.getWorkingCop(ITranslationUnit)
|
Removing WorkingCopyManager.getWorkingCop(ITranslationUnit)
|
||||||
Users should call ITranslationUnit.getSharedWorkingCopy instead.
|
Users should call ITranslationUnit.getSharedWorkingCopy instead.
|
||||||
|
|
|
@ -32,10 +32,6 @@ public class ErrorTickAdornmentProvider implements IAdornmentProvider {
|
||||||
try {
|
try {
|
||||||
if (obj instanceof ICElement) {
|
if (obj instanceof ICElement) {
|
||||||
ICElement element= (ICElement) obj;
|
ICElement element= (ICElement) obj;
|
||||||
if (!element.exists()) {
|
|
||||||
// @@@ Not relevant right now...
|
|
||||||
//return 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
int type= element.getElementType();
|
int type= element.getElementType();
|
||||||
switch (type) {
|
switch (type) {
|
||||||
|
|
Loading…
Add table
Reference in a new issue