Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
View | Details | Raw Unified | Return to bug 73979 | Differences between
and this patch

Collapse All | Expand All

(-)Eclipse UI/org/eclipse/ui/internal/decorators/DecoratorManager.java (-2 / +11 lines)
Lines 876-885 Link Here
876
                force, originalText, context); 
876
                force, originalText, context); 
877
877
878
        //If all that is there is deferred ones then defer decoration.
878
        //If all that is there is deferred ones then defer decoration.
879
        //For the sake of efficiency we do not test for enablement at this
879
        //For the sake of efficiency we do not test for element enablement at this
880
        //point and just abandon deferment if there are any to run right
880
        //point and just abandon deferment if there are any to run right
881
        //away
881
        //away
882
        return getFullDefinitions().length > 0;
882
        return hasEnabledFullDefinitions();
883
    }
883
    }
884
884
885
    /* (non-Javadoc)
885
    /* (non-Javadoc)
Lines 918-923 Link Here
918
		}
918
		}
919
		return fullDefinitions;
919
		return fullDefinitions;
920
	}
920
	}
921
	
922
	private boolean hasEnabledFullDefinitions() {
923
		FullDecoratorDefinition[] definitions= getFullDefinitions();
924
		for (int i= 0; i < definitions.length; i++) {
925
			if (definitions[i].isEnabled())
926
				return true;
927
		}
928
		return false;
929
	}
921
930
922
    private IExtensionPoint getExtensionPointFilter() {
931
    private IExtensionPoint getExtensionPointFilter() {
923
        return Platform.getExtensionRegistry().getExtensionPoint(EXTENSIONPOINT_UNIQUE_ID);
932
        return Platform.getExtensionRegistry().getExtensionPoint(EXTENSIONPOINT_UNIQUE_ID);

Return to bug 73979