Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/SemanticHighlightingWithOwnPreference.java')
-rw-r--r--core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/SemanticHighlightingWithOwnPreference.java11
1 files changed, 5 insertions, 6 deletions
diff --git a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/SemanticHighlightingWithOwnPreference.java b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/SemanticHighlightingWithOwnPreference.java
index 2eed6550390..64025eb33f3 100644
--- a/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/SemanticHighlightingWithOwnPreference.java
+++ b/core/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/SemanticHighlightingWithOwnPreference.java
@@ -20,9 +20,9 @@ import org.eclipse.ui.PlatformUI;
import org.eclipse.cdt.ui.CUIPlugin;
/**
- * A semantic highlighting which has its own preferences for specifying
+ * A semantic highlighting which has its own preferences for specifying
* its color and style.
- *
+ *
* Semantic highlightings not deriving from this class are associated
* with a syntactic highlighting, and use the color and style of that
* syntactic highlighting.
@@ -75,9 +75,8 @@ public abstract class SemanticHighlightingWithOwnPreference extends SemanticHigh
*/
public abstract String getDisplayName();
-
private String getThemeColorKey() {
- return CUIPlugin.PLUGIN_ID + "." + getPreferenceKey() + "Highlighting"; //$NON-NLS-1$//$NON-NLS-2$
+ return CUIPlugin.PLUGIN_ID + "." + getPreferenceKey() + "Highlighting"; //$NON-NLS-1$//$NON-NLS-2$
}
/**
@@ -92,8 +91,8 @@ public abstract class SemanticHighlightingWithOwnPreference extends SemanticHigh
if (!PlatformUI.isWorkbenchRunning())
return defaultRGB;
- ColorRegistry registry= PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry();
- RGB rgb= registry.getRGB(key);
+ ColorRegistry registry = PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry();
+ RGB rgb = registry.getRGB(key);
if (rgb != null)
return rgb;
return defaultRGB;

Back to the top