mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-10 17:55:39 +02:00
Code Issues Wiki Activity

Fix for 227929: After fixing all warnings/errors, the warning icon is still in the tab

Browse source
This commit is contained in:
Anton Leherbauer 2008-04-22 07:49:09 +00:00
parent ee5837ec29
commit 9faad7775e
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/CEditorErrorTickUpdater.java
View file

@ -72,12 +72,12 @@ public class CEditorErrorTickUpdater implements IProblemChangedListener {
* @see IProblemChangedListener#problemsChanged(IResource[], boolean) * @see IProblemChangedListener#problemsChanged(IResource[], boolean)
*/ */
public void problemsChanged(IResource[] resourcesChanged, boolean isMarkerChange) { public void problemsChanged(IResource[] resourcesChanged, boolean isMarkerChange) {
if (isMarkerChange) { if (!isMarkerChange) {
return; return;
} }
IEditorInput input= fCEditor.getEditorInput(); IEditorInput input= fCEditor.getEditorInput();
if (input != null) { // might run async, tests needed if (input != null) { // might run async, tests needed
ICElement celement= (ICElement) input.getAdapter(ICElement.class); ICElement celement= fCEditor.getInputCElement();
if (celement != null) { if (celement != null) {
IResource resource= celement.getResource(); IResource resource= celement.getResource();
if (resource == null) { if (resource == null) {
@ -91,7 +91,7 @@ public class CEditorErrorTickUpdater implements IProblemChangedListener {
} }
} }
} }
} }
public void updateEditorImage(ICElement celement) { public void updateEditorImage(ICElement celement) {
Image titleImage= fCEditor.getTitleImage(); Image titleImage= fCEditor.getTitleImage();
@ -113,7 +113,7 @@ public class CEditorErrorTickUpdater implements IProblemChangedListener {
} }
}); });
} }
} }
public void dispose() { public void dispose() {
fLabelProvider.dispose(); fLabelProvider.dispose();