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 22243 | Differences between
and this patch

Collapse All | Expand All

(-)ui/org/eclipse/jdt/ui/PreferenceConstants.java (-25 / +127 lines)
Lines 21-27 Link Here
21
import org.eclipse.jface.action.Action;
21
import org.eclipse.jface.action.Action;
22
import org.eclipse.jface.preference.IPreferenceStore;
22
import org.eclipse.jface.preference.IPreferenceStore;
23
import org.eclipse.jface.preference.PreferenceConverter;
23
import org.eclipse.jface.preference.PreferenceConverter;
24
import org.eclipse.jface.resource.ColorRegistry;
24
25
26
import org.eclipse.ui.PlatformUI;
25
import org.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants;
27
import org.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants;
26
import org.eclipse.ui.texteditor.AbstractTextEditor;
28
import org.eclipse.ui.texteditor.AbstractTextEditor;
27
29
Lines 33-38 Link Here
33
35
34
import org.eclipse.jdt.ui.text.IJavaColorConstants;
36
import org.eclipse.jdt.ui.text.IJavaColorConstants;
35
37
38
import org.eclipse.jdt.internal.ui.IJDTThemeConstants;
36
import org.eclipse.jdt.internal.ui.JavaPlugin;
39
import org.eclipse.jdt.internal.ui.JavaPlugin;
37
import org.eclipse.jdt.internal.ui.javaeditor.SemanticHighlightings;
40
import org.eclipse.jdt.internal.ui.javaeditor.SemanticHighlightings;
38
import org.eclipse.jdt.internal.ui.preferences.NewJavaProjectPreferencePage;
41
import org.eclipse.jdt.internal.ui.preferences.NewJavaProjectPreferencePage;
Lines 3511-3516 Link Here
3511
	 * @since 2.1
3514
	 * @since 2.1
3512
	 */
3515
	 */
3513
	public static void initializeDefaultValues(IPreferenceStore store) {
3516
	public static void initializeDefaultValues(IPreferenceStore store) {
3517
		
3518
		ColorRegistry registry = PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry();
3514
		store.setDefault(PreferenceConstants.EDITOR_SHOW_SEGMENTS, false);
3519
		store.setDefault(PreferenceConstants.EDITOR_SHOW_SEGMENTS, false);
3515
3520
3516
		// JavaBasePreferencePage
3521
		// JavaBasePreferencePage
Lines 3590-3596 Link Here
3590
3595
3591
		// JavaEditorPreferencePage
3596
		// JavaEditorPreferencePage
3592
		store.setDefault(PreferenceConstants.EDITOR_MATCHING_BRACKETS, true);
3597
		store.setDefault(PreferenceConstants.EDITOR_MATCHING_BRACKETS, true);
3593
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_MATCHING_BRACKETS_COLOR, new RGB(192, 192,192));
3598
		PreferenceConverter.setDefault(
3599
				store, 
3600
				PreferenceConstants.EDITOR_MATCHING_BRACKETS_COLOR, 
3601
				findColor(registry,IJDTThemeConstants.EDITOR_MATCHING_BRACKETS_COLOR,new RGB(192, 192,192)));
3594
3602
3595
		store.setDefault(PreferenceConstants.EDITOR_CORRECTION_INDICATION, true);
3603
		store.setDefault(PreferenceConstants.EDITOR_CORRECTION_INDICATION, true);
3596
		store.setDefault(PreferenceConstants.EDITOR_SYNC_OUTLINE_ON_CURSOR_MOVE, true);
3604
		store.setDefault(PreferenceConstants.EDITOR_SYNC_OUTLINE_ON_CURSOR_MOVE, true);
Lines 3602-3616 Link Here
3602
		store.setDefault(PreferenceConstants.EDITOR_TAB_WIDTH, 4);
3610
		store.setDefault(PreferenceConstants.EDITOR_TAB_WIDTH, 4);
3603
		store.setDefault(PreferenceConstants.EDITOR_SPACES_FOR_TABS, false);
3611
		store.setDefault(PreferenceConstants.EDITOR_SPACES_FOR_TABS, false);
3604
3612
3605
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_COLOR, new RGB(63, 127, 95));
3613
		PreferenceConverter.setDefault(
3614
				store, 
3615
				PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_COLOR, 
3616
				findColor(registry,IJDTThemeConstants.EDITOR_MULTI_LINE_COMMENT_COLOR,new RGB(63, 127, 95)));
3617
		
3606
		store.setDefault(PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_BOLD, false);
3618
		store.setDefault(PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_BOLD, false);
3607
		store.setDefault(PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_ITALIC, false);
3619
		store.setDefault(PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_ITALIC, false);
3608
3620
3609
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_COLOR, new RGB(63, 127, 95));
3621
		PreferenceConverter.setDefault(
3622
				store, 
3623
				PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_COLOR, 
3624
				findColor(registry,IJDTThemeConstants.EDITOR_SINGLE_LINE_COMMENT_COLOR,new RGB(63, 127, 95)));
3625
		
3610
		store.setDefault(PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_BOLD, false);
3626
		store.setDefault(PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_BOLD, false);
3611
		store.setDefault(PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_ITALIC, false);
3627
		store.setDefault(PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_ITALIC, false);
3612
3628
3613
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVA_KEYWORD_COLOR, new RGB(127, 0, 85));
3629
		PreferenceConverter.setDefault(
3630
				store, 
3631
				PreferenceConstants.EDITOR_JAVA_KEYWORD_COLOR, 
3632
				findColor(registry,IJDTThemeConstants.EDITOR_JAVA_KEYWORD_COLOR,new RGB(127, 0, 85)));
3614
		store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_BOLD, true);
3633
		store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_BOLD, true);
3615
		store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_ITALIC, false);
3634
		store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_ITALIC, false);
3616
3635
Lines 3618-3628 Link Here
3618
		store.setDefault(PreferenceConstants.EDITOR_JAVA_ANNOTATION_BOLD, false);
3637
		store.setDefault(PreferenceConstants.EDITOR_JAVA_ANNOTATION_BOLD, false);
3619
		store.setDefault(PreferenceConstants.EDITOR_JAVA_ANNOTATION_ITALIC, false);
3638
		store.setDefault(PreferenceConstants.EDITOR_JAVA_ANNOTATION_ITALIC, false);
3620
3639
3621
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_STRING_COLOR, new RGB(42, 0, 255));
3640
		PreferenceConverter.setDefault(
3641
				store, 
3642
				PreferenceConstants.EDITOR_STRING_COLOR, 
3643
				findColor(registry,IJDTThemeConstants.EDITOR_STRING_COLOR,new RGB(42, 0, 255)));
3644
		
3622
		store.setDefault(PreferenceConstants.EDITOR_STRING_BOLD, false);
3645
		store.setDefault(PreferenceConstants.EDITOR_STRING_BOLD, false);
3623
		store.setDefault(PreferenceConstants.EDITOR_STRING_ITALIC, false);
3646
		store.setDefault(PreferenceConstants.EDITOR_STRING_ITALIC, false);
3624
3647
3625
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVA_DEFAULT_COLOR, new RGB(0, 0, 0));
3648
		PreferenceConverter.setDefault(
3649
				store, 
3650
				PreferenceConstants.EDITOR_JAVA_DEFAULT_COLOR, 
3651
				findColor(registry,IJDTThemeConstants.EDITOR_JAVA_DEFAULT_COLOR,new RGB(0, 0, 0)));
3626
		store.setDefault(PreferenceConstants.EDITOR_JAVA_DEFAULT_BOLD, false);
3652
		store.setDefault(PreferenceConstants.EDITOR_JAVA_DEFAULT_BOLD, false);
3627
		store.setDefault(PreferenceConstants.EDITOR_JAVA_DEFAULT_ITALIC, false);
3653
		store.setDefault(PreferenceConstants.EDITOR_JAVA_DEFAULT_ITALIC, false);
3628
3654
Lines 3630-3664 Link Here
3630
		store.setDefault(PreferenceConstants.EDITOR_JAVA_METHOD_NAME_BOLD, false);
3656
		store.setDefault(PreferenceConstants.EDITOR_JAVA_METHOD_NAME_BOLD, false);
3631
		store.setDefault(PreferenceConstants.EDITOR_JAVA_METHOD_NAME_ITALIC, false);
3657
		store.setDefault(PreferenceConstants.EDITOR_JAVA_METHOD_NAME_ITALIC, false);
3632
3658
3633
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_COLOR, new RGB(127, 0, 85));
3659
		PreferenceConverter.setDefault(
3660
				store, 
3661
				PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_COLOR, 
3662
				findColor(registry,IJDTThemeConstants.EDITOR_JAVA_KEYWORD_RETURN_COLOR,new RGB(127, 0, 85)));
3634
		store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_BOLD, true);
3663
		store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_BOLD, true);
3635
		store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_ITALIC, false);
3664
		store.setDefault(PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_ITALIC, false);
3636
3665
3637
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVA_OPERATOR_COLOR, new RGB(0, 0, 0));
3666
		PreferenceConverter.setDefault(
3667
				store, 
3668
				PreferenceConstants.EDITOR_JAVA_OPERATOR_COLOR, 
3669
				findColor(registry,IJDTThemeConstants.EDITOR_JAVA_OPERATOR_COLOR,new RGB(0, 0, 0)));
3638
		store.setDefault(PreferenceConstants.EDITOR_JAVA_OPERATOR_BOLD, false);
3670
		store.setDefault(PreferenceConstants.EDITOR_JAVA_OPERATOR_BOLD, false);
3639
		store.setDefault(PreferenceConstants.EDITOR_JAVA_OPERATOR_ITALIC, false);
3671
		store.setDefault(PreferenceConstants.EDITOR_JAVA_OPERATOR_ITALIC, false);
3640
3672
3641
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVA_BRACKET_COLOR, new RGB(0, 0, 0));
3673
		PreferenceConverter.setDefault(
3674
				store, 
3675
				PreferenceConstants.EDITOR_JAVA_BRACKET_COLOR, 
3676
				findColor(registry,IJDTThemeConstants.EDITOR_JAVA_BRACKET_COLOR,new RGB(0, 0, 0)));
3642
		store.setDefault(PreferenceConstants.EDITOR_JAVA_BRACKET_BOLD, false);
3677
		store.setDefault(PreferenceConstants.EDITOR_JAVA_BRACKET_BOLD, false);
3643
		store.setDefault(PreferenceConstants.EDITOR_JAVA_BRACKET_ITALIC, false);
3678
		store.setDefault(PreferenceConstants.EDITOR_JAVA_BRACKET_ITALIC, false);
3644
3679
3645
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_TASK_TAG_COLOR, new RGB(127, 159, 191));
3680
		PreferenceConverter.setDefault(
3681
				store, 
3682
				PreferenceConstants.EDITOR_TASK_TAG_COLOR, 
3683
				findColor(registry,IJDTThemeConstants.EDITOR_TASK_TAG_COLOR,new RGB(127, 159, 191)));
3646
		store.setDefault(PreferenceConstants.EDITOR_TASK_TAG_BOLD, true);
3684
		store.setDefault(PreferenceConstants.EDITOR_TASK_TAG_BOLD, true);
3647
		store.setDefault(PreferenceConstants.EDITOR_TASK_TAG_ITALIC, false);
3685
		store.setDefault(PreferenceConstants.EDITOR_TASK_TAG_ITALIC, false);
3648
3686
3649
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR, new RGB(127, 159, 191));
3687
		PreferenceConverter.setDefault(
3688
				store, 
3689
				PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR, 
3690
				findColor(registry,IJDTThemeConstants.EDITOR_JAVADOC_KEYWORD_COLOR,new RGB(127, 159, 191)));
3650
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_KEYWORD_BOLD, true);
3691
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_KEYWORD_BOLD, true);
3651
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_KEYWORD_ITALIC, false);
3692
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_KEYWORD_ITALIC, false);
3652
3693
3653
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVADOC_TAG_COLOR, new RGB(127, 127, 159));
3694
		PreferenceConverter.setDefault(
3695
				store, 
3696
				PreferenceConstants.EDITOR_JAVADOC_TAG_COLOR, 
3697
				findColor(registry,IJDTThemeConstants.EDITOR_JAVADOC_TAG_COLOR,new RGB(127, 127, 159)));
3654
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_TAG_BOLD, false);
3698
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_TAG_BOLD, false);
3655
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_TAG_ITALIC, false);
3699
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_TAG_ITALIC, false);
3656
3700
3657
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVADOC_LINKS_COLOR, new RGB(63, 63, 191));
3701
		PreferenceConverter.setDefault(
3702
				store, 
3703
				PreferenceConstants.EDITOR_JAVADOC_LINKS_COLOR, 
3704
				findColor(registry,IJDTThemeConstants.EDITOR_JAVADOC_LINKS_COLOR,new RGB(63, 63, 191)));
3658
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_LINKS_BOLD, false);
3705
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_LINKS_BOLD, false);
3659
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_LINKS_ITALIC, false);
3706
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_LINKS_ITALIC, false);
3660
3707
3661
		PreferenceConverter.setDefault(store, PreferenceConstants.EDITOR_JAVADOC_DEFAULT_COLOR, new RGB(63, 95, 191));
3708
		PreferenceConverter.setDefault(
3709
				store, 
3710
				PreferenceConstants.EDITOR_JAVADOC_DEFAULT_COLOR, 
3711
				findColor(registry,IJDTThemeConstants.EDITOR_JAVADOC_DEFAULT_COLOR,new RGB(63, 95, 191)));
3662
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_DEFAULT_BOLD, false);
3712
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_DEFAULT_BOLD, false);
3663
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_DEFAULT_ITALIC, false);
3713
		store.setDefault(PreferenceConstants.EDITOR_JAVADOC_DEFAULT_ITALIC, false);
3664
3714
Lines 3666-3677 Link Here
3666
		store.setDefault(PreferenceConstants.CODEASSIST_AUTOACTIVATION_DELAY, 200);
3716
		store.setDefault(PreferenceConstants.CODEASSIST_AUTOACTIVATION_DELAY, 200);
3667
3717
3668
		store.setDefault(PreferenceConstants.CODEASSIST_AUTOINSERT, true);
3718
		store.setDefault(PreferenceConstants.CODEASSIST_AUTOINSERT, true);
3669
		PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_PROPOSALS_BACKGROUND, new RGB(255, 255, 255));
3719
		PreferenceConverter.setDefault(
3670
		PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_PROPOSALS_FOREGROUND, new RGB(0, 0, 0));
3720
				store, 
3671
		PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_PARAMETERS_BACKGROUND, new RGB(255, 255, 255));
3721
				PreferenceConstants.CODEASSIST_PROPOSALS_BACKGROUND, 
3672
		PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_PARAMETERS_FOREGROUND, new RGB(0, 0, 0));
3722
				findColor(registry,IJDTThemeConstants.CODEASSIST_PROPOSALS_BACKGROUND,new RGB(255, 255, 255)));
3673
		PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_REPLACEMENT_BACKGROUND, new RGB(255, 255, 0));
3723
		PreferenceConverter.setDefault(
3674
		PreferenceConverter.setDefault(store, PreferenceConstants.CODEASSIST_REPLACEMENT_FOREGROUND, new RGB(255, 0, 0));
3724
				store, 
3725
				PreferenceConstants.CODEASSIST_PROPOSALS_FOREGROUND, 
3726
				findColor(registry,IJDTThemeConstants.CODEASSIST_PROPOSALS_FOREGROUND,new RGB(0, 0, 0)));
3727
		PreferenceConverter.setDefault(
3728
				store, 
3729
				PreferenceConstants.CODEASSIST_PARAMETERS_BACKGROUND, 
3730
				findColor(registry,IJDTThemeConstants.CODEASSIST_PARAMETERS_BACKGROUND,new RGB(255, 255, 255)));
3731
		PreferenceConverter.setDefault(
3732
				store, 
3733
				PreferenceConstants.CODEASSIST_PARAMETERS_FOREGROUND, 
3734
				findColor(registry,IJDTThemeConstants.CODEASSIST_PARAMETERS_FOREGROUND,new RGB(0, 0, 0)));
3735
		PreferenceConverter.setDefault(
3736
				store, 
3737
				PreferenceConstants.CODEASSIST_REPLACEMENT_BACKGROUND, 
3738
				findColor(registry,IJDTThemeConstants.CODEASSIST_REPLACEMENT_BACKGROUND,new RGB(255, 255, 0)));
3739
		PreferenceConverter.setDefault(
3740
				store, 
3741
				PreferenceConstants.CODEASSIST_REPLACEMENT_FOREGROUND, 
3742
				findColor(registry,IJDTThemeConstants.CODEASSIST_REPLACEMENT_FOREGROUND,new RGB(255, 0, 0)));
3675
		store.setDefault(PreferenceConstants.CODEASSIST_AUTOACTIVATION_TRIGGERS_JAVA, "."); //$NON-NLS-1$
3743
		store.setDefault(PreferenceConstants.CODEASSIST_AUTOACTIVATION_TRIGGERS_JAVA, "."); //$NON-NLS-1$
3676
		store.setDefault(PreferenceConstants.CODEASSIST_AUTOACTIVATION_TRIGGERS_JAVADOC, "@#"); //$NON-NLS-1$
3744
		store.setDefault(PreferenceConstants.CODEASSIST_AUTOACTIVATION_TRIGGERS_JAVADOC, "@#"); //$NON-NLS-1$
3677
		store.setDefault(PreferenceConstants.CODEASSIST_SHOW_VISIBLE_PROPOSALS, true);
3745
		store.setDefault(PreferenceConstants.CODEASSIST_SHOW_VISIBLE_PROPOSALS, true);
Lines 3762-3780 Link Here
3762
		store.setDefault(PreferenceConstants.EDITOR_FOLDING_HEADERS, true);
3830
		store.setDefault(PreferenceConstants.EDITOR_FOLDING_HEADERS, true);
3763
		
3831
		
3764
		// properties file editor
3832
		// properties file editor
3765
		PreferenceConverter.setDefault(store, PreferenceConstants.PROPERTIES_FILE_COLORING_KEY, new RGB(0, 0, 0));
3833
		PreferenceConverter.setDefault(
3834
				store, 
3835
				PreferenceConstants.PROPERTIES_FILE_COLORING_KEY, 
3836
				findColor(registry,IJDTThemeConstants.PROPERTIES_FILE_COLORING_KEY,new RGB(0, 0, 0)));
3766
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_KEY_BOLD, false);
3837
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_KEY_BOLD, false);
3767
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_KEY_ITALIC, false);
3838
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_KEY_ITALIC, false);
3768
		PreferenceConverter.setDefault(store, PreferenceConstants.PROPERTIES_FILE_COLORING_VALUE, new RGB(42, 0, 255));
3839
		
3840
		PreferenceConverter.setDefault(
3841
				store, 
3842
				PreferenceConstants.PROPERTIES_FILE_COLORING_VALUE, 
3843
				findColor(registry,IJDTThemeConstants.PROPERTIES_FILE_COLORING_VALUE,new RGB(42, 0, 255)));
3769
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_VALUE_BOLD, false);
3844
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_VALUE_BOLD, false);
3770
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_VALUE_ITALIC, false);
3845
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_VALUE_ITALIC, false);
3771
		PreferenceConverter.setDefault(store, PreferenceConstants.PROPERTIES_FILE_COLORING_ASSIGNMENT, new RGB(0, 0, 0));
3846
		
3847
		PreferenceConverter.setDefault(
3848
				store, 
3849
				PreferenceConstants.PROPERTIES_FILE_COLORING_ASSIGNMENT, 
3850
				findColor(registry,IJDTThemeConstants.PROPERTIES_FILE_COLORING_ASSIGNMENT,new RGB(0, 0, 0)));
3772
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_ASSIGNMENT_BOLD, false);
3851
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_ASSIGNMENT_BOLD, false);
3773
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_ASSIGNMENT_ITALIC, false);
3852
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_ASSIGNMENT_ITALIC, false);
3774
		PreferenceConverter.setDefault(store, PreferenceConstants.PROPERTIES_FILE_COLORING_ARGUMENT, new RGB(127, 0, 85));
3853
		
3854
		PreferenceConverter.setDefault(
3855
				store, 
3856
				PreferenceConstants.PROPERTIES_FILE_COLORING_ARGUMENT, 
3857
				findColor(registry,IJDTThemeConstants.PROPERTIES_FILE_COLORING_ARGUMENT,new RGB(127, 0, 85)));
3775
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_ARGUMENT_BOLD, true);
3858
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_ARGUMENT_BOLD, true);
3776
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_ARGUMENT_ITALIC, false);
3859
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_ARGUMENT_ITALIC, false);
3777
		PreferenceConverter.setDefault(store, PreferenceConstants.PROPERTIES_FILE_COLORING_COMMENT,  new RGB(63, 127, 95));
3860
		
3861
		PreferenceConverter.setDefault(
3862
				store, 
3863
				PreferenceConstants.PROPERTIES_FILE_COLORING_COMMENT,  
3864
				findColor(registry,IJDTThemeConstants.PROPERTIES_FILE_COLORING_COMMENT,new RGB(63, 127, 95)));
3778
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_COMMENT_BOLD, false);
3865
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_COMMENT_BOLD, false);
3779
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_COMMENT_ITALIC, false);
3866
		store.setDefault(PreferenceConstants.PROPERTIES_FILE_COLORING_COMMENT_ITALIC, false);
3780
		
3867
		
Lines 3902-3906 Link Here
3902
		}
3989
		}
3903
		return new DefaultScope().getNode(JavaUI.ID_PLUGIN).get(key, null);
3990
		return new DefaultScope().getNode(JavaUI.ID_PLUGIN).get(key, null);
3904
	}
3991
	}
3992
	
3993
	/**
3994
	 * Return the RGB for the key in the color registry. If there is no entry return defaultRGB.
3995
	 * @param registry
3996
	 * @param key the key for the constant in the registry
3997
	 * @param defaultRGB
3998
	 * @return RGB
3999
	 */
4000
	private static RGB findColor(ColorRegistry registry,
4001
			String key, RGB defaultRGB) {
4002
		if (registry.hasValueFor(key))
4003
			return registry.getRGB(key);
4004
4005
		return defaultRGB;
4006
	}
3905
}
4007
}
3906
4008
(-)ui/org/eclipse/jdt/internal/ui/javaeditor/SemanticHighlightings.java (-20 / +100 lines)
Lines 15-22 Link Here
15
15
16
import org.eclipse.jface.preference.IPreferenceStore;
16
import org.eclipse.jface.preference.IPreferenceStore;
17
import org.eclipse.jface.preference.PreferenceConverter;
17
import org.eclipse.jface.preference.PreferenceConverter;
18
import org.eclipse.jface.resource.ColorRegistry;
18
import org.eclipse.jface.util.PropertyChangeEvent;
19
import org.eclipse.jface.util.PropertyChangeEvent;
19
20
21
import org.eclipse.ui.PlatformUI;
22
20
import org.eclipse.jdt.core.dom.ASTNode;
23
import org.eclipse.jdt.core.dom.ASTNode;
21
import org.eclipse.jdt.core.dom.AnnotationTypeMemberDeclaration;
24
import org.eclipse.jdt.core.dom.AnnotationTypeMemberDeclaration;
22
import org.eclipse.jdt.core.dom.ArrayAccess;
25
import org.eclipse.jdt.core.dom.ArrayAccess;
Lines 196-204 Link Here
196
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
199
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
197
		 */
200
		 */
198
		public RGB getDefaultTextColor() {
201
		public RGB getDefaultTextColor() {
199
			return new RGB(0, 0, 0);
202
			return findRGB(
203
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
204
					ISemanticHighlightingsThemeConstants.STATIC_FINAL_FIELD_HIGHLIGHTING,
205
					new RGB(0, 0, 0));
200
		}
206
		}
201
207
208
209
202
		/*
210
		/*
203
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextStyleBold()
211
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextStyleBold()
204
		 */
212
		 */
Lines 252-258 Link Here
252
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
260
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
253
		 */
261
		 */
254
		public RGB getDefaultTextColor() {
262
		public RGB getDefaultTextColor() {
255
			return new RGB(0, 0, 192);
263
			return findRGB(
264
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
265
					ISemanticHighlightingsThemeConstants.STATIC_FIELD_TEXT_HIGHLIGHTING,
266
					new RGB(0, 0, 192));
256
		}
267
		}
257
268
258
		/*
269
		/*
Lines 308-314 Link Here
308
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
319
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
309
		 */
320
		 */
310
		public RGB getDefaultTextColor() {
321
		public RGB getDefaultTextColor() {
311
			return new RGB(0, 0, 192);
322
			return findRGB(
323
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
324
					ISemanticHighlightingsThemeConstants.FIELD_HIGHLIGHTING,
325
					new RGB(0, 0, 192));
312
		}
326
		}
313
327
314
		/*
328
		/*
Lines 364-370 Link Here
364
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
378
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
365
		 */
379
		 */
366
		public RGB getDefaultTextColor() {
380
		public RGB getDefaultTextColor() {
367
			return new RGB(171, 48, 0);
381
			return findRGB(
382
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
383
					ISemanticHighlightingsThemeConstants.AUTOBOX_HIGHLIGHTING,
384
					new RGB(171, 48, 0));
368
		}
385
		}
369
386
370
		/*
387
		/*
Lines 461-467 Link Here
461
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
478
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
462
		 */
479
		 */
463
		public RGB getDefaultTextColor() {
480
		public RGB getDefaultTextColor() {
464
			return new RGB(0, 0, 0);
481
			return findRGB(
482
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
483
					ISemanticHighlightingsThemeConstants.METHOD_DECLARATION_HIGHLIGHTING,
484
					new RGB(0, 0, 0));
465
		}
485
		}
466
486
467
		/*
487
		/*
Lines 517-523 Link Here
517
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
537
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
518
		 */
538
		 */
519
		public RGB getDefaultTextColor() {
539
		public RGB getDefaultTextColor() {
520
			return new RGB(0, 0, 0);
540
			return findRGB(
541
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
542
					ISemanticHighlightingsThemeConstants.STATIC_METHOD_DECLARATION_HIGHLIGHTING,
543
					new RGB(0, 0, 0));
521
		}
544
		}
522
545
523
		/*
546
		/*
Lines 578-584 Link Here
578
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
601
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
579
		 */
602
		 */
580
		public RGB getDefaultTextColor() {
603
		public RGB getDefaultTextColor() {
581
			return new RGB(0, 0, 0);
604
			return findRGB(
605
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
606
					ISemanticHighlightingsThemeConstants.ANNOTATION_REFERENCE_ELEMENT_HIGHLIGHTING,
607
					new RGB(0, 0, 0));
582
		}
608
		}
583
609
584
		/*
610
		/*
Lines 641-647 Link Here
641
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
667
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
642
		 */
668
		 */
643
		public RGB getDefaultTextColor() {
669
		public RGB getDefaultTextColor() {
644
			return new RGB(0, 0, 0);
670
			return findRGB(
671
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
672
					ISemanticHighlightingsThemeConstants.ABSTRACT_METHOD_INVOCATION_HIGHLIGHTING,
673
					new RGB(0, 0, 0));
645
		}
674
		}
646
675
647
		/*
676
		/*
Lines 712-718 Link Here
712
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
741
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
713
		 */
742
		 */
714
		public RGB getDefaultTextColor() {
743
		public RGB getDefaultTextColor() {
715
			return new RGB(0, 0, 0);
744
			return findRGB(
745
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
746
					ISemanticHighlightingsThemeConstants.INHERITED_METHOD_INVOCATION_HIGHLIGHTING,
747
					new RGB(0, 0, 0));
716
		}
748
		}
717
749
718
		/*
750
		/*
Lines 780-786 Link Here
780
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
812
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
781
		 */
813
		 */
782
		public RGB getDefaultTextColor() {
814
		public RGB getDefaultTextColor() {
783
			return new RGB(0, 0, 0);
815
			return findRGB(
816
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
817
					ISemanticHighlightingsThemeConstants.METHOD_INVOCATION_HIGHLIGHTING,
818
					new RGB(0, 0, 0));
784
		}
819
		}
785
820
786
		/*
821
		/*
Lines 881-887 Link Here
881
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
916
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
882
		 */
917
		 */
883
		public RGB getDefaultTextColor() {
918
		public RGB getDefaultTextColor() {
884
			return new RGB(0, 0, 0);
919
			return findRGB(
920
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
921
					ISemanticHighlightingsThemeConstants.LOCAL_VARIABLE_DECLARATION_HIGHLIGHTING,
922
					new RGB(0, 0, 0));
885
		}
923
		}
886
924
887
		/*
925
		/*
Lines 945-951 Link Here
945
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
983
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
946
		 */
984
		 */
947
		public RGB getDefaultTextColor() {
985
		public RGB getDefaultTextColor() {
948
			return new RGB(0, 0, 0);
986
			return findRGB(
987
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
988
					ISemanticHighlightingsThemeConstants.LOCAL_VARIABLE_HIGHLIGHTING,
989
					new RGB(0, 0, 0));
949
		}
990
		}
950
991
951
		/*
992
		/*
Lines 1005-1011 Link Here
1005
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1046
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1006
		 */
1047
		 */
1007
		public RGB getDefaultTextColor() {
1048
		public RGB getDefaultTextColor() {
1008
			return new RGB(0, 0, 0);
1049
			return findRGB(
1050
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
1051
					ISemanticHighlightingsThemeConstants.PARAMETER_VARIABLE_HIGHLIGHTING,
1052
					new RGB(0, 0, 0));
1009
		}
1053
		}
1010
1054
1011
		/*
1055
		/*
Lines 1065-1071 Link Here
1065
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1109
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1066
		 */
1110
		 */
1067
		public RGB getDefaultTextColor() {
1111
		public RGB getDefaultTextColor() {
1068
			return new RGB(0, 0, 0);
1112
			return findRGB(
1113
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
1114
					ISemanticHighlightingsThemeConstants.DEPRECATED_MEMBER_HIGHLIGHTING,
1115
					new RGB(0, 0, 0));
1069
		}
1116
		}
1070
1117
1071
		/*
1118
		/*
Lines 1175-1181 Link Here
1175
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1222
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1176
		 */
1223
		 */
1177
		public RGB getDefaultTextColor() {
1224
		public RGB getDefaultTextColor() {
1178
			return new RGB(100, 70, 50);
1225
			return findRGB(
1226
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
1227
					ISemanticHighlightingsThemeConstants.TYPE_VARIABLE_HIGHLIGHTING,
1228
					new RGB(100, 70, 50));
1179
		}
1229
		}
1180
1230
1181
		/*
1231
		/*
Lines 1240-1246 Link Here
1240
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1290
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1241
		 */
1291
		 */
1242
		public RGB getDefaultTextColor() {
1292
		public RGB getDefaultTextColor() {
1243
			return new RGB(0, 80, 50);
1293
			return findRGB(
1294
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
1295
					ISemanticHighlightingsThemeConstants.CLASS_HIGHLIGHTING,
1296
					new RGB(0, 80, 50));
1244
		}
1297
		}
1245
1298
1246
		/*
1299
		/*
Lines 1312-1318 Link Here
1312
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1365
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1313
		 */
1366
		 */
1314
		public RGB getDefaultTextColor() {
1367
		public RGB getDefaultTextColor() {
1315
			return new RGB(100, 70, 50);
1368
			return findRGB(
1369
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
1370
					ISemanticHighlightingsThemeConstants.ENUM_HIGHLIGHTING,
1371
					new RGB(100, 70, 50));
1316
		}
1372
		}
1317
		
1373
		
1318
		/*
1374
		/*
Lines 1384-1390 Link Here
1384
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1440
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1385
		 */
1441
		 */
1386
		public RGB getDefaultTextColor() {
1442
		public RGB getDefaultTextColor() {
1387
			return new RGB(50, 63, 112);
1443
			return findRGB(
1444
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
1445
					ISemanticHighlightingsThemeConstants.INTERFACE_HIGHLIGHTING,
1446
					new RGB(50, 63, 112));
1388
		}
1447
		}
1389
		
1448
		
1390
		/*
1449
		/*
Lines 1456-1462 Link Here
1456
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1515
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1457
		 */
1516
		 */
1458
		public RGB getDefaultTextColor() {
1517
		public RGB getDefaultTextColor() {
1459
			return new RGB(100, 100, 100);
1518
			return findRGB(
1519
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
1520
					ISemanticHighlightingsThemeConstants.ANNOTATION_HIGHLIGHTING,
1521
					new RGB(50, 63, 112));
1460
		}
1522
		}
1461
		
1523
		
1462
		/*
1524
		/*
Lines 1529-1535 Link Here
1529
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1591
		 * @see org.eclipse.jdt.internal.ui.javaeditor.ISemanticHighlighting#getDefaultTextColor()
1530
		 */
1592
		 */
1531
		public RGB getDefaultTextColor() {
1593
		public RGB getDefaultTextColor() {
1532
			return new RGB(13, 100, 0);
1594
			return findRGB(
1595
					PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry(),
1596
					ISemanticHighlightingsThemeConstants.TYPE_ARGUMENT_HIGHLIGHTING,
1597
					new RGB(13, 100, 0));
1533
		}
1598
		}
1534
		
1599
		
1535
		/*
1600
		/*
Lines 1850-1853 Link Here
1850
	 */
1915
	 */
1851
	private SemanticHighlightings() {
1916
	private SemanticHighlightings() {
1852
	}
1917
	}
1918
	
1919
	/**
1920
	 * Find the RGB for the key in the registry. Return defaultRGB if it is
1921
	 * not found.
1922
	 * @param registry
1923
	 * @param key
1924
	 * @param defaultRGB
1925
	 * @return RGB
1926
	 */
1927
	static RGB findRGB(ColorRegistry registry, String key, RGB defaultRGB) {
1928
		if (registry.hasValueFor(key))
1929
			return registry.getRGB(key);
1930
1931
		return defaultRGB;
1932
	}
1853
}
1933
}
(-)plugin.xml (+466 lines)
Lines 5575-5579 Link Here
5575
	         </selectionEnablement>
5575
	         </selectionEnablement>
5576
      	</linkHelper>          
5576
      	</linkHelper>          
5577
 </extension>
5577
 </extension>
5578
 <extension
5579
       point="org.eclipse.ui.themes">
5580
    <theme
5581
          id="org.eclipse.ui.ide.systemDefault">
5582
       <colorOverride
5583
             id="org.eclipse.jdt.ui.matchingBracketsColor"
5584
             value="COLOR_WIDGET_NORMAL_SHADOW">
5585
       </colorOverride>
5586
       <colorOverride
5587
             id="org.eclipse.jdt.ui.java_multi_line_comment"
5588
             value="COLOR_LIST_SELECTION">
5589
       </colorOverride>
5590
       <colorOverride
5591
             id="org.eclipse.jdt.ui.java_keyword"
5592
             value="COLOR_LIST_FOREGROUND">
5593
       </colorOverride>
5594
       <colorOverride
5595
             id="org.eclipse.jdt.ui.java_keyword_return"
5596
             value="COLOR_LIST_FOREGROUND">
5597
       </colorOverride>
5598
       <colorOverride
5599
             id="org.eclipse.jdt.ui.java_string"
5600
             value="COLOR_LIST_FOREGROUND">
5601
       </colorOverride>
5602
       <colorOverride
5603
             id="org.eclipse.jdt.ui.java_single_line_comment"
5604
             value="COLOR_LIST_SELECTION">
5605
       </colorOverride>
5606
       <colorOverride
5607
             id="org.eclipse.jdt.ui.java_operator"
5608
             value="COLOR_LIST_FOREGROUND">
5609
       </colorOverride>
5610
       <colorOverride
5611
             id="org.eclipse.jdt.ui.java_doc_keyword"
5612
             value="COLOR_LIST_SELECTION">
5613
       </colorOverride>
5614
       <colorOverride
5615
             id="org.eclipse.jdt.ui.java_doc_tag"
5616
             value="COLOR_WIDGET_NORMAL_SHADOW">
5617
       </colorOverride>
5618
       <colorOverride
5619
             id="org.eclipse.jdt.ui.java_bracket"
5620
             value="COLOR_LIST_FOREGROUND">
5621
       </colorOverride>
5622
       <colorOverride
5623
             id="org.eclipse.jdt.ui.java_comment_task_tag"
5624
             value="COLOR_WIDGET_NORMAL_SHADOW">
5625
       </colorOverride>
5626
       <colorOverride
5627
             id="org.eclipse.jdt.ui.java_default"
5628
             value="LIST_FOREGROUND">
5629
       </colorOverride>
5630
       <colorOverride
5631
             id="org.eclipse.jdt.ui.java_doc_link"
5632
             value="COLOR_LIST_SELECTION">
5633
       </colorOverride>
5634
       <colorOverride
5635
             id="org.eclipse.jdt.ui.java_doc_default"
5636
             value="COLOR_LIST_SELECTION">
5637
       </colorOverride>
5638
       <colorOverride
5639
             id="org.eclipse.jdt.ui.content_assist_proposals_background"
5640
             value="COLOR_LIST_BACKGROUND">
5641
       </colorOverride>
5642
       <colorOverride
5643
             id="org.eclipse.jdt.ui.content_assist_proposals_foreground"
5644
             value="COLOR_LIST_FOREGROUND">
5645
       </colorOverride>
5646
       <colorOverride
5647
             id="org.eclipse.jdt.ui.content_assist_parameters_background"
5648
             value="COLOR_LIST_BACKGROUND">
5649
       </colorOverride>
5650
       <colorOverride
5651
             id="org.eclipse.jdt.ui.content_assist_parameters_foreground"
5652
             value="COLOR_LIST_FOREGROUND">
5653
       </colorOverride>
5654
       <colorOverride
5655
             id="org.eclipse.jdt.ui.content_assist_completion_replacement_background"
5656
             value="COLOR_INFO_BACKGROUND">
5657
       </colorOverride>
5658
       <colorOverride
5659
             id="org.eclipse.jdt.ui.content_assist_completion_replacement_foreground"
5660
             value="COLOR_INFO_FOREGROUND">
5661
       </colorOverride>
5662
       <colorOverride
5663
             id="org.eclipse.jdt.ui.pf_coloring_value"
5664
             value="COLOR_LIST_FOREGROUND">
5665
       </colorOverride>
5666
       <colorOverride
5667
             id="org.eclipse.jdt.ui.pf_coloring_key"
5668
             value="COLOR_LIST_FOREGROUND">
5669
       </colorOverride>
5670
       <colorOverride
5671
             id="org.eclipse.jdt.ui.pf_coloring_argument"
5672
             value="COLOR_LIST_SELECTION">
5673
       </colorOverride>
5674
       <colorOverride
5675
             id="org.eclipse.jdt.ui.pf_coloring_assignment"
5676
             value="COLOR_LIST_FOREGROUND">
5677
       </colorOverride>
5678
       <colorOverride
5679
             id="org.eclipse.jdt.ui.pf_coloring_comment"
5680
             value="COLOR_LIST_SELECTION">
5681
       </colorOverride>
5682
       <colorOverride
5683
             id="org.eclipse.jdt.ui.staticFieldTextHighlighting"
5684
             value="COLOR_LIST_SELECTION">
5685
       </colorOverride>
5686
       <colorOverride
5687
             id="org.eclipse.jdt.ui.staticFinalFieldTextHighlighting"
5688
             value="COLOR_LIST_FOREGROUND">
5689
       </colorOverride>
5690
       <colorOverride
5691
             id="org.eclipse.jdt.ui.fieldHighlighting"
5692
             value="COLOR_LIST_SELECTION">
5693
       </colorOverride>
5694
       <colorOverride
5695
             id="org.eclipse.jdt.ui.autoboxHighlighting"
5696
             value="COLOR_WIDGET_DARK_SHADOW">
5697
       </colorOverride>
5698
       <colorOverride
5699
             id="org.eclipse.jdt.ui.staticMethodDeclarionHighlighting"
5700
             value="COLOR_LIST_FOREGROUND">
5701
       </colorOverride>
5702
       <colorOverride
5703
             id="org.eclipse.jdt.ui.annotationReferenceElementHighlighting"
5704
             value="COLOR_LIST_FOREGROUND">
5705
       </colorOverride>
5706
       <colorOverride
5707
             id="org.eclipse.jdt.ui.abstractMethodInvocationHighlighting"
5708
             value="COLOR_LIST_FOREGROUND">
5709
       </colorOverride>
5710
       <colorOverride
5711
             id="org.eclipse.jdt.ui.inheritedMethodInvocationHighlighting"
5712
             value="COLOR_LIST_SELECTION">
5713
       </colorOverride>
5714
       <colorOverride
5715
             id="org.eclipse.jdt.ui.methodInvocationHighlighting"
5716
             value="COLOR_LIST_FOREGROUND">
5717
       </colorOverride>
5718
       <colorOverride
5719
             id="org.eclipse.jdt.ui.localVariableDeclarionHighlighting"
5720
             value="COLOR_LIST_FOREGROUND">
5721
       </colorOverride>
5722
       <colorOverride
5723
             id="org.eclipse.jdt.ui.localVariableHighlighting"
5724
             value="COLOR_LIST_FOREGROUND">
5725
       </colorOverride>
5726
       <colorOverride
5727
             id="org.eclipse.jdt.ui.parameterVariableDeclarionHighlighting"
5728
             value="COLOR_LIST_FOREGROUND">
5729
       </colorOverride>
5730
       <colorOverride
5731
             id="org.eclipse.jdt.ui.deprecatedMemberHighlighting"
5732
             value="COLOR_LIST_FOREGROUND">
5733
       </colorOverride>
5734
       <colorOverride
5735
             id="org.eclipse.jdt.ui.typeVariableDeclarationHighlighting"
5736
             value="COLOR_WIDGET_DARK_SHADOW">
5737
       </colorOverride>
5738
       <colorOverride
5739
             id="org.eclipse.jdt.ui.classHighlighting"
5740
             value="WIDGET_DARK_SHADOW">
5741
       </colorOverride>
5742
       <colorOverride
5743
             id="org.eclipse.jdt.ui.enumHighlighting"
5744
             value="COLOR_WIDGET_DARK_SHADOW">
5745
       </colorOverride>
5746
       <colorOverride
5747
             id="org.eclipse.jdt.ui.interfaceHighlighting"
5748
             value="COLOR_LIST_SELECTION">
5749
       </colorOverride>
5750
       <colorOverride
5751
             id="org.eclipse.jdt.ui.annotationHighlighting"
5752
             value="COLOR_WIDGET_DARK_SHADOW">
5753
       </colorOverride>
5754
       <colorOverride
5755
             id="org.eclipse.jdt.ui.typeArgumentHighlighting"
5756
             value="COLOR_WIDGET_DARK_SHADOW">
5757
       </colorOverride>
5758
       <colorOverride
5759
             id="org.eclipse.jdt.ui.methodDeclarationHighlighting"
5760
             value="COLOR_LIST_FOREGROUND">
5761
       </colorOverride>
5762
       <colorOverride
5763
             id="org.eclipse.jdt.ui.staticMethodDeclarationHighlighting"
5764
             value="COLOR_LIST_FOREGROUND">
5765
       </colorOverride>
5766
    </theme>
5767
    <colorDefinition
5768
          id="org.eclipse.jdt.ui.matchingBracketsColor"
5769
          isEditable="false"
5770
          label="%Colors.matching_brackets"
5771
          value="192,192,192">
5772
    </colorDefinition>
5773
        <colorDefinition
5774
              id="org.eclipse.jdt.ui.java_multi_line_comment"
5775
              isEditable="false"
5776
              label="%Colors.java_multi_line_comment"
5777
              value="63,127,95">
5778
       </colorDefinition>
5779
       <colorDefinition
5780
             id="org.eclipse.jdt.ui.java_keyword"
5781
             isEditable="false"
5782
             label="%Colors.java_keyword"
5783
             value="127,0,85">
5784
       </colorDefinition>
5785
       <colorDefinition
5786
             id="org.eclipse.jdt.ui.java_keyword_return"
5787
             isEditable="false"
5788
             label="%Colors.java_keyword_return"
5789
             value="127,0,85">
5790
       </colorDefinition>
5791
       <colorDefinition
5792
             id="org.eclipse.jdt.ui.java_string"
5793
             isEditable="false"
5794
             label="%Colors.java_string"
5795
             value="42,0,255">
5796
       </colorDefinition>
5797
       <colorDefinition
5798
             id="org.eclipse.jdt.ui.java_default"
5799
             isEditable="false"
5800
             label="%Colors.java_default"
5801
             value="0,0,0">
5802
       </colorDefinition>
5803
       <colorDefinition
5804
             id="org.eclipse.jdt.ui.java_single_line_comment"
5805
             isEditable="false"
5806
             label="%Colors.java_single_line_comment"
5807
             value="63,127,95">
5808
       </colorDefinition>
5809
       <colorDefinition
5810
             id="org.eclipse.jdt.ui.java_operator"
5811
             isEditable="false"
5812
             label="%Colors.java_operator"
5813
             value="0,0,0">
5814
       </colorDefinition>
5815
       <colorDefinition
5816
             id="org.eclipse.jdt.ui.java_doc_keyword"
5817
             isEditable="false"
5818
             label="%Colors.java_doc_keyword"
5819
             value="127,159,191">
5820
       </colorDefinition>
5821
       <colorDefinition
5822
             id="org.eclipse.jdt.ui.java_doc_tag"
5823
             isEditable="false"
5824
             label="%Colors.java_doc_tag"
5825
             value="127,127,159">
5826
       </colorDefinition>
5827
       <colorDefinition
5828
             id="org.eclipse.jdt.ui.java_bracket"
5829
             isEditable="false"
5830
             label="%Colors.java_bracket"
5831
             value="0,0,0">
5832
       </colorDefinition>
5833
       <colorDefinition
5834
             id="org.eclipse.jdt.ui.java_comment_task_tag"
5835
             isEditable="false"
5836
             label="%Colors.java_comment_task_tag"
5837
             value="127,159,191">
5838
       </colorDefinition>
5839
       <colorDefinition
5840
             id="org.eclipse.jdt.ui.java_doc_link"
5841
             isEditable="false"
5842
             label="%Colors.java_doc_link"
5843
             value="63,63,191">
5844
       </colorDefinition>
5845
       <colorDefinition
5846
             id="org.eclipse.jdt.ui.java_doc_default"
5847
             isEditable="false"
5848
             label="%Colors.java_doc_default"
5849
             value="63,95,191">
5850
       </colorDefinition>
5851
       <colorDefinition
5852
             id="org.eclipse.jdt.ui.content_assist_proposals_background"
5853
             isEditable="false"
5854
             label="%Colors.content_assist_proposals_background"
5855
             value="255,255,255">
5856
       </colorDefinition>
5857
       <colorDefinition
5858
             id="org.eclipse.jdt.ui.content_assist_proposals_foreground"
5859
             isEditable="false"
5860
             label="%Colors.content_assist_proposals_foreground"
5861
             value="0,0,0">
5862
       </colorDefinition>
5863
       <colorDefinition
5864
             id="org.eclipse.jdt.ui.content_assist_parameters_background"
5865
             isEditable="false"
5866
             label="%Colors.content_assist_parameters_background"
5867
             value="255,255,255">
5868
       </colorDefinition>
5869
       <colorDefinition
5870
             id="org.eclipse.jdt.ui.content_assist_parameters_foreground"
5871
             isEditable="false"
5872
             label="%Colors.content_assist_parameters_foreground"
5873
             value="0,0,0">
5874
       </colorDefinition>
5875
       <colorDefinition
5876
             id="org.eclipse.jdt.ui.content_assist_completion_replacement_background"
5877
             isEditable="false"
5878
             label="%Colors.content_assist_completion_replacement_background"
5879
             value="255,255,0">
5880
       </colorDefinition>
5881
       <colorDefinition
5882
             id="org.eclipse.jdt.ui.content_assist_completion_replacement_foreground"
5883
             isEditable="false"
5884
             label="%Colors.content_assist_completion_replacement_foreground"
5885
             value="0,0,0">
5886
       </colorDefinition>
5887
       <colorDefinition
5888
             id="org.eclipse.jdt.ui.pf_coloring_value"
5889
             isEditable="false"
5890
             label="%Colors.pf_coloring_value"
5891
             value="42,0,255">
5892
       </colorDefinition>
5893
       <colorDefinition
5894
             id="org.eclipse.jdt.ui.pf_coloring_key"
5895
             isEditable="false"
5896
             label="%Colors.pf_coloring_key"
5897
             value="0,0,0">
5898
       </colorDefinition>
5899
       <colorDefinition
5900
             id="org.eclipse.jdt.ui.pf_coloring_argument"
5901
             isEditable="false"
5902
             label="%Colors.pf_coloring_argument"
5903
             value="127,0,85">
5904
       </colorDefinition>
5905
       <colorDefinition
5906
             id="org.eclipse.jdt.ui.pf_coloring_assignment"
5907
             isEditable="false"
5908
             label="%Colors.pf_coloring_assignment"
5909
             value="0,0,0">
5910
       </colorDefinition>
5911
       <colorDefinition
5912
             id="org.eclipse.jdt.ui.pf_coloring_comment"
5913
             isEditable="false"
5914
             label="%Colors.pf_coloring_comment"
5915
             value="63,127,95">
5916
       </colorDefinition>
5917
       <colorDefinition
5918
             id="org.eclipse.jdt.ui.staticFieldTextHighlighting"
5919
             isEditable="false"
5920
             label="%Colors.staticFieldTextHighlighting"
5921
             value="0,0,192">
5922
       </colorDefinition>
5923
       <colorDefinition
5924
             id="org.eclipse.jdt.ui.staticFinalFieldTextHighlighting"
5925
             isEditable="false"
5926
             label="%Colors.staticFinalFieldTextHighlighting"
5927
             value="0,0,0">
5928
       </colorDefinition>
5929
       <colorDefinition
5930
             id="org.eclipse.jdt.ui.fieldHighlighting"
5931
             isEditable="false"
5932
             label="%Colors.fieldHighlighting"
5933
             value="0,0,192">
5934
       </colorDefinition>
5935
       <colorDefinition
5936
             id="org.eclipse.jdt.ui.autoboxHighlighting"
5937
             isEditable="false"
5938
             label="%Colors.autoboxHighlighting"
5939
             value="171,48,0">
5940
       </colorDefinition>
5941
       <colorDefinition
5942
             id="org.eclipse.jdt.ui.staticMethodDeclarionHighlighting"
5943
             isEditable="false"
5944
             label="%Colors.staticMethodDeclarionHighlighting"
5945
             value="171,48,0">
5946
       </colorDefinition>
5947
       <colorDefinition
5948
             id="org.eclipse.jdt.ui.annotationReferenceElementHighlighting"
5949
             isEditable="false"
5950
             label="%Colors.annotationReferenceElementHighlighting"
5951
             value="0,0,0">
5952
       </colorDefinition>
5953
       <colorDefinition
5954
             id="org.eclipse.jdt.ui.abstractMethodInvocationHighlighting"
5955
             isEditable="false"
5956
             label="%Colors.abstractMethodInvocationHighlighting"
5957
             value="0,0,0">
5958
       </colorDefinition>
5959
       <colorDefinition
5960
             id="org.eclipse.jdt.ui.inheritedMethodInvocationHighlighting"
5961
             isEditable="false"
5962
             label="%Colors.inheritedMethodInvocationHighlighting"
5963
             value="0,0,0">
5964
       </colorDefinition>
5965
       <colorDefinition
5966
             id="org.eclipse.jdt.ui.methodInvocationHighlighting"
5967
             isEditable="false"
5968
             label="%Colors.methodInvocationHighlighting"
5969
             value="0,0,0">
5970
       </colorDefinition>
5971
       <colorDefinition
5972
             id="org.eclipse.jdt.ui.localVariableDeclarionHighlighting"
5973
             isEditable="false"
5974
             label="%Colors.localVariableDeclarionHighlighting"
5975
             value="0,0,0">
5976
       </colorDefinition>
5977
       <colorDefinition
5978
             id="org.eclipse.jdt.ui.localVariableHighlighting"
5979
             isEditable="false"
5980
             label="%Colors.localVariableHighlighting"
5981
             value="0,0,0">
5982
       </colorDefinition>
5983
       <colorDefinition
5984
             id="org.eclipse.jdt.ui.parameterVariableDeclarionHighlighting"
5985
             isEditable="false"
5986
             label="%Colors.parameterVariableDeclarionHighlighting"
5987
             value="0,0,0">
5988
       </colorDefinition>
5989
       <colorDefinition
5990
             id="org.eclipse.jdt.ui.deprecatedMemberHighlighting"
5991
             isEditable="false"
5992
             label="%Colors.deprecatedMemberHighlighting"
5993
             value="0,0,0">
5994
       </colorDefinition>
5995
       <colorDefinition
5996
             id="org.eclipse.jdt.ui.typeVariableDeclarationHighlighting"
5997
             isEditable="false"
5998
             label="%Colors.typeVariableDeclarationHighlighting"
5999
             value="100,70,50">
6000
       </colorDefinition>
6001
       <colorDefinition
6002
             id="org.eclipse.jdt.ui.classHighlighting"
6003
             isEditable="false"
6004
             label="%Colors.classHighlighting"
6005
             value="0,80,50">
6006
       </colorDefinition>
6007
       <colorDefinition
6008
             id="org.eclipse.jdt.ui.enumHighlighting"
6009
             isEditable="false"
6010
             label="%Colors.enumHighlighting"
6011
             value="100,70,50">
6012
       </colorDefinition>
6013
       <colorDefinition
6014
             id="org.eclipse.jdt.ui.interfaceHighlighting"
6015
             isEditable="false"
6016
             label="%Colors.interfaceHighlighting"
6017
             value="50,63,112">
6018
       </colorDefinition>
6019
       <colorDefinition
6020
             id="org.eclipse.jdt.ui.annotationHighlighting"
6021
             isEditable="false"
6022
             label="%Colors.annotationHighlighting"
6023
             value="50,63,112">
6024
       </colorDefinition>
6025
       <colorDefinition
6026
             id="org.eclipse.jdt.ui.typeArgumentHighlighting"
6027
             isEditable="false"
6028
             label="%Colors.typeArgumentHighlighting"
6029
             value="13,100,0">
6030
       </colorDefinition>
6031
       <colorDefinition
6032
             id="org.eclipse.jdt.ui.methodDeclarationHighlighting"
6033
             isEditable="false"
6034
             label="%Colors.methodDeclarationHighlighting"
6035
             value="0,0,0">
6036
       </colorDefinition>
6037
        <colorDefinition
6038
             id="org.eclipse.jdt.ui.staticMethodDeclarationHighlighting"
6039
             isEditable="false"
6040
             label="%Colors.staticMethodDeclarationHighlighting"
6041
             value="0,0,0">
6042
       </colorDefinition>
6043
 </extension>
5578
     
6044
     
5579
</plugin>
6045
</plugin>
(-)plugin.properties (+48 lines)
Lines 1040-1042 Link Here
1040
JavaElementHyperlinkDetector= Java Element
1040
JavaElementHyperlinkDetector= Java Element
1041
NLSHyperlinkDetector= Java Property Key
1041
NLSHyperlinkDetector= Java Property Key
1042
PropertyKeyHyperlinkDetector= Java Property Key
1042
PropertyKeyHyperlinkDetector= Java Property Key
1043
1044
#---Themes ---
1045
Colors.matching_brackets = Matching Brackets
1046
Colors.java_multi_line_comment = Java Multi Line Comment
1047
Colors.java_keyword = Java Keyword
1048
Colors.java_keyword_return = Java Keyword Return
1049
Colors.java_string = Java String
1050
Colors.java_single_line_comment = Java Single Line Comment
1051
Colors.java_operator = Java Operator
1052
Colors.java_doc_keyword = Javadoc keyword
1053
Colors.java_doc_tag = Javadoc tag
1054
Colors.java_bracket = Java bracket
1055
Colors.java_comment_task_tag = Java Comment Task Tag
1056
Colors.java_default = Java Default
1057
Colors.java_doc_link = Javadoc link
1058
Colors.java_doc_default =  Javadoc default
1059
Colors.content_assist_proposals_background = Content Assist Proposals Background
1060
Colors.content_assist_proposals_foreground = Content Assist Proposals Foreground
1061
Colors.content_assist_parameters_background = Content Assist Parameters Background
1062
Colors.content_assist_parameters_foreground = Content Assist Parameters Foreground
1063
Colors.content_assist_completion_replacement_background = Content Assist Completion Replacement Background
1064
Colors.content_assist_completion_replacement_foreground = Content Assist Completion Replacement Foreground
1065
Colors.pf_coloring_value = Properties File Value
1066
Colors.pf_coloring_key = Properties File Key
1067
Colors.pf_coloring_argument = Properties File Argument
1068
Colors.pf_coloring_assignment = Properties File Assignment
1069
Colors.pf_coloring_comment = Properties File Comment
1070
Colors.staticFieldTextHighlighting = Static Field Text Highlighting
1071
Colors.staticFinalFieldTextHighlighting = Static Final Field Text Highlighting
1072
Colors.fieldHighlighting = Field Highlighting
1073
Colors.autoboxHighlighting = Autobox Highlighting
1074
Colors.staticMethodDeclarionHighlighting = Static Method Declarion Highlighting 
1075
Colors.annotationReferenceElementHighlighting = Annotation Reference Element Highlighting 
1076
Colors.abstractMethodInvocationHighlighting = Abstract Method Invocation Highlighting
1077
Colors.inheritedMethodInvocationHighlighting = Inherited Method Invocation Highlighting
1078
Colors.methodInvocationHighlighting = Method Invocation Highlighting
1079
Colors.localVariableDeclarionHighlighting = Local Variable Declaration Highlighting
1080
Colors.localVariableHighlighting = Local Variable Highlighting
1081
Colors.parameterVariableDeclarionHighlighting = Parameter Variable Declaration Highlighting
1082
Colors.deprecatedMemberHighlighting = Deprecated Member Highlighting
1083
Colors.typeVariableDeclarationHighlighting = Type Variable Declaration Highlighting
1084
Colors.classHighlighting = Class Highlighting
1085
Colors.enumHighlighting = Enum Highlighting
1086
Colors.interfaceHighlighting = Interface Highlighting
1087
Colors.annotationHighlighting = Annotation Highlighting
1088
Colors.typeArgumentHighlighting = Type Argument Highlighting
1089
Colors.methodDeclarationHighlighting = Method Declaration Highlighting
1090
Colors.staticMethodDeclarationHighlighting = Static Method Declaration Highlighting
(-)ui/org/eclipse/jdt/internal/ui/javaeditor/ISemanticHighlightingsThemeConstants.java (+77 lines)
Added Link Here
1
/*******************************************************************************
2
 * Copyright (c) 2000, 2007 IBM Corporation and others.
3
 * All rights reserved. This program and the accompanying materials
4
 * are made available under the terms of the Eclipse Public License v1.0
5
 * which accompanies this distribution, and is available at
6
 * http://www.eclipse.org/legal/epl-v10.html
7
 *
8
 * Contributors:
9
 *     IBM Corporation - initial API and implementation
10
 *******************************************************************************/
11
package org.eclipse.jdt.internal.ui.javaeditor;
12
13
import org.eclipse.jdt.ui.JavaUI;
14
15
/**
16
 * ISemanticHighlightingsThemeConstants defines the set of constants in the
17
 * themes used by {@link SemanticHighlightings}
18
 * 
19
 */
20
public interface ISemanticHighlightingsThemeConstants {
21
22
	static String ID_PREFIX = JavaUI.ID_PLUGIN + "."; //$NON-NLS-1$
23
24
	static String STATIC_FIELD_TEXT_HIGHLIGHTING = ID_PREFIX + "staticFieldTextHighlighting"; //$NON-NLS-1$
25
26
	static String STATIC_FINAL_FIELD_HIGHLIGHTING = ID_PREFIX + "staticFinalFieldTextHighlighting";//$NON-NLS-1$
27
28
	static String FIELD_HIGHLIGHTING = ID_PREFIX + "fieldHighlighting";//$NON-NLS-1$
29
30
	static String AUTOBOX_HIGHLIGHTING = ID_PREFIX + "autoboxHighlighting";//$NON-NLS-1$
31
32
	static String STATIC_METHOD_DECLARATION_HIGHLIGHTING = ID_PREFIX
33
			+ "staticMethodDeclarionHighlighting";//$NON-NLS-1$
34
35
	static String ANNOTATION_REFERENCE_ELEMENT_HIGHLIGHTING = ID_PREFIX
36
			+ "annotationReferenceElementHighlighting";//$NON-NLS-1$
37
38
	static String ABSTRACT_METHOD_INVOCATION_HIGHLIGHTING = ID_PREFIX
39
			+ "abstractMethodInvocationHighlighting";//$NON-NLS-1$
40
41
	static String INHERITED_METHOD_INVOCATION_HIGHLIGHTING = ID_PREFIX
42
			+ "inheritedMethodInvocationHighlighting";//$NON-NLS-1$
43
44
	static String METHOD_INVOCATION_HIGHLIGHTING = ID_PREFIX
45
			+ "methodInvocationHighlighting";//$NON-NLS-1$
46
47
	static String LOCAL_VARIABLE_DECLARATION_HIGHLIGHTING = ID_PREFIX
48
			+ "localVariableDeclarionHighlighting";//$NON-NLS-1$
49
50
	static String LOCAL_VARIABLE_HIGHLIGHTING = ID_PREFIX
51
			+ "localVariableHighlighting";//$NON-NLS-1$
52
53
	static String PARAMETER_VARIABLE_HIGHLIGHTING = ID_PREFIX
54
			+ "parameterVariableDeclarionHighlighting";//$NON-NLS-1$
55
56
	static String DEPRECATED_MEMBER_HIGHLIGHTING = ID_PREFIX
57
			+ "deprecatedMemberHighlighting";//$NON-NLS-1$
58
59
	static String TYPE_VARIABLE_HIGHLIGHTING = ID_PREFIX
60
			+ "typeVariableDeclarationHighlighting";//$NON-NLS-1$
61
62
	static String CLASS_HIGHLIGHTING = ID_PREFIX + "classHighlighting";//$NON-NLS-1$
63
64
	static String ENUM_HIGHLIGHTING = ID_PREFIX + "enumHighlighting";//$NON-NLS-1$
65
66
	static String INTERFACE_HIGHLIGHTING = ID_PREFIX + "interfaceHighlighting";//$NON-NLS-1$
67
68
	static String ANNOTATION_HIGHLIGHTING = ID_PREFIX
69
			+ "annotationHighlighting"; //$NON-NLS-1$
70
71
	static String TYPE_ARGUMENT_HIGHLIGHTING = ID_PREFIX
72
			+ "typeArgumentHighlighting"; //$NON-NLS-1$
73
74
	static String METHOD_DECLARATION_HIGHLIGHTING = ID_PREFIX
75
			+ "methodDeclarationHighlighting"; //$NON-NLS-1$
76
77
}
(-)ui/org/eclipse/jdt/internal/ui/IJDTThemeConstants.java (+195 lines)
Added Link Here
1
/*******************************************************************************
2
 * Copyright (c) 2000, 2007 IBM Corporation and others.
3
 * All rights reserved. This program and the accompanying materials
4
 * are made available under the terms of the Eclipse Public License v1.0
5
 * which accompanies this distribution, and is available at
6
 * http://www.eclipse.org/legal/epl-v10.html
7
 *
8
 * Contributors:
9
 *     IBM Corporation - initial API and implementation
10
 *******************************************************************************/
11
12
package org.eclipse.jdt.internal.ui;
13
14
import org.eclipse.jdt.ui.JavaUI;
15
import org.eclipse.jdt.ui.PreferenceConstants;
16
17
/**
18
 * IJDTThemeConstants are the constants for themes that map to the JDT constants
19
 * in {@link PreferenceConstants}
20
 * 
21
 */
22
public interface IJDTThemeConstants {
23
24
	static String ID_PREFIX = JavaUI.ID_PLUGIN + "."; //$NON-NLS-1$
25
26
	/**
27
	 * A named theme constant that holds the color used to highlight matching
28
	 * brackets.
29
	 * 
30
	 */
31
	public final static String EDITOR_MATCHING_BRACKETS_COLOR = ID_PREFIX
32
			+ PreferenceConstants.EDITOR_MATCHING_BRACKETS_COLOR;
33
34
	/**
35
	 * A named theme constant that holds the color used to render multi-line
36
	 * comments.
37
	 * 
38
	 */
39
	public final static String EDITOR_MULTI_LINE_COMMENT_COLOR = ID_PREFIX
40
			+ PreferenceConstants.EDITOR_MULTI_LINE_COMMENT_COLOR;
41
42
	/**
43
	 * A named theme constant that holds the color used to render java keywords.
44
	 * 
45
	 */
46
	public final static String EDITOR_JAVA_KEYWORD_COLOR = ID_PREFIX
47
			+ PreferenceConstants.EDITOR_JAVA_KEYWORD_COLOR;
48
49
	/**
50
	 * A theme constant that holds the color used to render string constants.
51
	 */
52
	public final static String EDITOR_STRING_COLOR = ID_PREFIX
53
			+ PreferenceConstants.EDITOR_STRING_COLOR;
54
55
	/**
56
	 * A theme constant that holds the color used to render single line
57
	 * comments.
58
	 */
59
	public final static String EDITOR_SINGLE_LINE_COMMENT_COLOR = ID_PREFIX
60
			+ PreferenceConstants.EDITOR_SINGLE_LINE_COMMENT_COLOR;
61
62
	/**
63
	 * A theme constant that holds the color used to render operators.
64
	 */
65
	public final static String EDITOR_JAVA_OPERATOR_COLOR = ID_PREFIX
66
			+ PreferenceConstants.EDITOR_JAVA_OPERATOR_COLOR;
67
68
	/**
69
	 * A theme constant that holds the color used to render java default text.
70
	 */
71
	public final static String EDITOR_JAVA_DEFAULT_COLOR = ID_PREFIX
72
			+ PreferenceConstants.EDITOR_JAVA_DEFAULT_COLOR;
73
74
	/**
75
	 * A theme constant that holds the color used to render the 'return'
76
	 * keyword.
77
	 */
78
	public final static String EDITOR_JAVA_KEYWORD_RETURN_COLOR = ID_PREFIX
79
			+ PreferenceConstants.EDITOR_JAVA_KEYWORD_RETURN_COLOR;
80
81
	/**
82
	 * A theme constant that holds the color used to render javadoc keywords.
83
	 */
84
	public final static String EDITOR_JAVADOC_KEYWORD_COLOR = ID_PREFIX
85
			+ PreferenceConstants.EDITOR_JAVADOC_KEYWORD_COLOR;
86
87
	/**
88
	 * A theme constant that holds the color used to render javadoc tags.
89
	 */
90
	public final static String EDITOR_JAVADOC_TAG_COLOR = ID_PREFIX
91
			+ PreferenceConstants.EDITOR_JAVADOC_TAG_COLOR;
92
93
	/**
94
	 * A theme constant that holds the color used to render brackets.
95
	 */
96
	public final static String EDITOR_JAVA_BRACKET_COLOR = ID_PREFIX
97
			+ PreferenceConstants.EDITOR_JAVA_BRACKET_COLOR;
98
99
	/**
100
	 * A theme constant that holds the color used to render task tags.
101
	 */
102
	public final static String EDITOR_TASK_TAG_COLOR = ID_PREFIX
103
			+ PreferenceConstants.EDITOR_TASK_TAG_COLOR;
104
105
	/**
106
	 * A theme constant that holds the color used to render javadoc links.
107
	 */
108
	public final static String EDITOR_JAVADOC_LINKS_COLOR = ID_PREFIX
109
			+ PreferenceConstants.EDITOR_JAVADOC_LINKS_COLOR;
110
111
	/**
112
	 * A theme constant that holds the color used to render javadoc default
113
	 * text.
114
	 */
115
	public final static String EDITOR_JAVADOC_DEFAULT_COLOR = ID_PREFIX
116
			+ PreferenceConstants.EDITOR_JAVADOC_DEFAULT_COLOR;
117
118
	/**
119
	 * A theme constant that holds the background color used in the code assist
120
	 * selection dialog.
121
	 */
122
	public final static String CODEASSIST_PROPOSALS_BACKGROUND = ID_PREFIX
123
			+ PreferenceConstants.CODEASSIST_PROPOSALS_BACKGROUND;
124
125
	/**
126
	 * A theme constant that holds the foreground color used in the code assist
127
	 * selection dialog.
128
	 */
129
	public final static String CODEASSIST_PROPOSALS_FOREGROUND = ID_PREFIX
130
			+ PreferenceConstants.CODEASSIST_PROPOSALS_FOREGROUND;
131
132
	/**
133
	 * A theme constant that holds the background color used for parameter
134
	 * hints.
135
	 */
136
	public final static String CODEASSIST_PARAMETERS_BACKGROUND = ID_PREFIX
137
			+ PreferenceConstants.CODEASSIST_PARAMETERS_BACKGROUND;
138
139
	/**
140
	 * A theme constant that holds the foreground color used in the code assist
141
	 * selection dialog.
142
	 */
143
	public final static String CODEASSIST_PARAMETERS_FOREGROUND = ID_PREFIX
144
			+ PreferenceConstants.CODEASSIST_PARAMETERS_FOREGROUND;
145
146
	/**
147
	 * A named preference that holds the background color used in the code
148
	 * assist selection dialog to mark replaced code.
149
	 */
150
	public final static String CODEASSIST_REPLACEMENT_BACKGROUND = ID_PREFIX
151
			+ PreferenceConstants.CODEASSIST_REPLACEMENT_BACKGROUND;
152
153
	/**
154
	 * A named preference that holds the foreground color used in the code
155
	 * assist selection dialog to mark replaced code.
156
	 */
157
	public final static String CODEASSIST_REPLACEMENT_FOREGROUND = ID_PREFIX
158
			+ PreferenceConstants.CODEASSIST_REPLACEMENT_FOREGROUND;
159
160
	/**
161
	 * A named preference that holds the color used to render values in a
162
	 * properties file.
163
	 */
164
	public static final String PROPERTIES_FILE_COLORING_VALUE = ID_PREFIX
165
			+ PreferenceConstants.PROPERTIES_FILE_COLORING_VALUE;
166
167
	/**
168
	 * A named preference that holds the color used to render keys in a
169
	 * properties file.
170
	 */
171
	public static final String PROPERTIES_FILE_COLORING_KEY = ID_PREFIX
172
			+ PreferenceConstants.PROPERTIES_FILE_COLORING_KEY;
173
174
	/**
175
	 * A named preference that holds the color used to render arguments in a
176
	 * properties file.
177
	 */
178
	public static final String PROPERTIES_FILE_COLORING_ARGUMENT = ID_PREFIX
179
			+ PreferenceConstants.PROPERTIES_FILE_COLORING_ARGUMENT;
180
181
	/**
182
	 * A named preference that holds the color used to render assignments in a
183
	 * properties file.
184
	 */
185
	public static final String PROPERTIES_FILE_COLORING_ASSIGNMENT = ID_PREFIX
186
			+ PreferenceConstants.PROPERTIES_FILE_COLORING_ASSIGNMENT;
187
188
	/**
189
	 * A named preference that holds the color used to render comments in a
190
	 * properties file.
191
	 */
192
	public static final String PROPERTIES_FILE_COLORING_COMMENT = ID_PREFIX
193
			+ PreferenceConstants.PROPERTIES_FILE_COLORING_COMMENT;
194
195
}
(-)src/org/eclipse/ui/texteditor/AbstractDecoratedTextEditorPreferenceConstants.java (-13 / +50 lines)
Lines 12-30 Link Here
12
12
13
import java.util.StringTokenizer;
13
import java.util.StringTokenizer;
14
14
15
import org.eclipse.swt.SWT;
16
import org.eclipse.swt.graphics.RGB;
17
18
import org.eclipse.jface.action.Action;
15
import org.eclipse.jface.action.Action;
19
import org.eclipse.jface.preference.IPreferenceStore;
16
import org.eclipse.jface.preference.IPreferenceStore;
20
import org.eclipse.jface.preference.PreferenceConverter;
17
import org.eclipse.jface.preference.PreferenceConverter;
21
18
import org.eclipse.jface.resource.ColorRegistry;
22
import org.eclipse.jface.text.hyperlink.DefaultHyperlinkPresenter;
19
import org.eclipse.jface.text.hyperlink.DefaultHyperlinkPresenter;
23
import org.eclipse.jface.text.revisions.IRevisionRulerColumnExtension;
20
import org.eclipse.jface.text.revisions.IRevisionRulerColumnExtension;
24
21
import org.eclipse.swt.SWT;
22
import org.eclipse.swt.graphics.RGB;
23
import org.eclipse.ui.PlatformUI;
25
import org.eclipse.ui.editors.text.EditorsUI;
24
import org.eclipse.ui.editors.text.EditorsUI;
26
27
import org.eclipse.ui.internal.editors.text.EditorsPlugin;
25
import org.eclipse.ui.internal.editors.text.EditorsPlugin;
26
import org.eclipse.ui.internal.texteditor.ITextEditorThemeConstants;
28
import org.eclipse.ui.texteditor.spelling.SpellingService;
27
import org.eclipse.ui.texteditor.spelling.SpellingService;
29
28
30
/**
29
/**
Lines 457-468 Link Here
457
  	* @param store the preference store to be initialized
456
  	* @param store the preference store to be initialized
458
  	*/
457
  	*/
459
	public static void initializeDefaultValues(IPreferenceStore store) {
458
	public static void initializeDefaultValues(IPreferenceStore store) {
459
		
460
		ColorRegistry registry = PlatformUI.getWorkbench().getThemeManager().getCurrentTheme().getColorRegistry();
460
461
461
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.USE_ANNOTATIONS_PREFERENCE_PAGE, false);
462
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.USE_ANNOTATIONS_PREFERENCE_PAGE, false);
462
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.USE_QUICK_DIFF_PREFERENCE_PAGE, false);
463
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.USE_QUICK_DIFF_PREFERENCE_PAGE, false);
463
464
464
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE, true);
465
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE, true);
465
		PreferenceConverter.setDefault(store, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR, new RGB(232, 242, 254));
466
		PreferenceConverter.setDefault(
467
				store, 
468
				AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR,
469
				findColor(registry,ITextEditorThemeConstants.EDITOR_CURRENT_LINE_COLOR, new RGB(232, 242, 254)));
466
470
467
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH, 4);
471
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH, 4);
468
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_SPACES_FOR_TABS, false);
472
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_SPACES_FOR_TABS, false);
Lines 471-480 Link Here
471
475
472
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN, false);
476
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN, false);
473
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLUMN, 80);
477
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLUMN, 80);
474
		PreferenceConverter.setDefault(store, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLOR, new RGB(176, 180 , 185));
478
		
479
		PreferenceConverter.setDefault(
480
				store, 
481
				AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLOR, 
482
				findColor(registry,ITextEditorThemeConstants.EDITOR_PRINT_MARGIN_COLOR,new RGB(176, 180 , 185)));
475
483
476
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER, false);
484
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER, false);
477
		PreferenceConverter.setDefault(store, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR, new RGB(120, 120, 120));
485
		PreferenceConverter.setDefault(
486
				store, 
487
				AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR, 
488
				findColor(registry,ITextEditorThemeConstants.EDITOR_LINE_NUMBER_RULER_COLOR,new RGB(120, 120, 120)));
478
489
479
		if (!store.getBoolean(USE_QUICK_DIFF_PREFERENCE_PAGE)) {
490
		if (!store.getBoolean(USE_QUICK_DIFF_PREFERENCE_PAGE)) {
480
			store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_ALWAYS_ON, true);
491
			store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.QUICK_DIFF_ALWAYS_ON, true);
Lines 494-509 Link Here
494
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_SELECTION_FOREGROUND_DEFAULT_COLOR, true);
505
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_SELECTION_FOREGROUND_DEFAULT_COLOR, true);
495
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_SELECTION_BACKGROUND_DEFAULT_COLOR, true);
506
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_SELECTION_BACKGROUND_DEFAULT_COLOR, true);
496
507
497
		PreferenceConverter.setDefault(store, AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND, new RGB(255, 255, 255));
508
		PreferenceConverter.setDefault(store,AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND,new RGB(255, 255, 255));
509
		
498
		store.setDefault(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT, true);
510
		store.setDefault(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT, true);
499
		PreferenceConverter.setDefault(store, AbstractTextEditor.PREFERENCE_COLOR_FOREGROUND, new RGB(0, 0, 0));
511
		PreferenceConverter.setDefault(store,AbstractTextEditor.PREFERENCE_COLOR_FOREGROUND,new RGB(0, 0, 0));
512
		
500
		store.setDefault(AbstractTextEditor.PREFERENCE_COLOR_FOREGROUND_SYSTEM_DEFAULT, true);
513
		store.setDefault(AbstractTextEditor.PREFERENCE_COLOR_FOREGROUND_SYSTEM_DEFAULT, true);
501
514
502
		String mod1Name= Action.findModifierString(SWT.MOD1);	// SWT.COMMAND on MAC; SWT.CONTROL elsewhere
515
		String mod1Name= Action.findModifierString(SWT.MOD1);	// SWT.COMMAND on MAC; SWT.CONTROL elsewhere
503
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_HYPERLINKS_ENABLED, true);
516
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_HYPERLINKS_ENABLED, true);
504
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_HYPERLINK_KEY_MODIFIER, mod1Name);
517
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_HYPERLINK_KEY_MODIFIER, mod1Name);
505
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_HYPERLINK_KEY_MODIFIER_MASK, SWT.MOD1);
518
		store.setDefault(AbstractDecoratedTextEditorPreferenceConstants.EDITOR_HYPERLINK_KEY_MODIFIER_MASK, SWT.MOD1);
506
		PreferenceConverter.setDefault(store, AbstractDecoratedTextEditorPreferenceConstants.EDITOR_HYPERLINK_COLOR, new RGB(0, 0, 255));
519
		
520
		PreferenceConverter.setDefault(
521
				store, 
522
				AbstractDecoratedTextEditorPreferenceConstants.EDITOR_HYPERLINK_COLOR, 
523
				findColor(registry,ITextEditorThemeConstants.EDITOR_HYPERLINK_COLOR,new RGB(0, 0, 255)));
507
524
508
		HyperlinkDetectorDescriptor[] descriptors= EditorsUI.getHyperlinkDetectorRegistry().getHyperlinkDetectorDescriptors();
525
		HyperlinkDetectorDescriptor[] descriptors= EditorsUI.getHyperlinkDetectorRegistry().getHyperlinkDetectorDescriptors();
509
		for (int i= 0; i < descriptors.length; i++) {
526
		for (int i= 0; i < descriptors.length; i++) {
Lines 523-529 Link Here
523
		store.setDefault(SHOW_RANGE_INDICATOR, true);
540
		store.setDefault(SHOW_RANGE_INDICATOR, true);
524
		store.setDefault(REVISION_ASK_BEFORE_QUICKDIFF_SWITCH, ""); //$NON-NLS-1$
541
		store.setDefault(REVISION_ASK_BEFORE_QUICKDIFF_SWITCH, ""); //$NON-NLS-1$
525
		
542
		
526
		PreferenceConverter.setDefault(store, AbstractTextEditor.PREFERENCE_COLOR_FIND_SCOPE, new RGB(185, 176 , 180));
543
		PreferenceConverter.setDefault(
544
				store, 
545
				AbstractTextEditor.PREFERENCE_COLOR_FIND_SCOPE, 
546
				findColor(registry,ITextEditorThemeConstants.PREFERENCE_COLOR_FIND_SCOPE,new RGB(185, 176 , 180)));
547
		
527
		store.setDefault(AbstractTextEditor.PREFERENCE_RULER_CONTRIBUTIONS, ""); //$NON-NLS-1$
548
		store.setDefault(AbstractTextEditor.PREFERENCE_RULER_CONTRIBUTIONS, ""); //$NON-NLS-1$
528
		store.setDefault(REVISION_RULER_RENDERING_MODE, IRevisionRulerColumnExtension.AGE.name());
549
		store.setDefault(REVISION_RULER_RENDERING_MODE, IRevisionRulerColumnExtension.AGE.name());
529
		store.setDefault(REVISION_RULER_SHOW_AUTHOR, false);
550
		store.setDefault(REVISION_RULER_SHOW_AUTHOR, false);
Lines 538-543 Link Here
538
		MarkerAnnotationPreferences.initializeDefaultValues(store);
559
		MarkerAnnotationPreferences.initializeDefaultValues(store);
539
	}
560
	}
540
	
561
	
562
	
563
	/**
564
	 * Return the RGB for the key in the color registry. If there is no entry return defaultRGB.
565
	 * @param registry
566
	 * @param key the key for the constant in the registry
567
	 * @param defaultRGB
568
	 * @return RGB
569
	 */
570
	private static RGB findColor(ColorRegistry registry,
571
			String key, RGB defaultRGB) {
572
		if (registry.hasValueFor(key))
573
			return registry.getRGB(key);
574
575
		return defaultRGB;
576
	}
577
541
	/**
578
	/**
542
	 * Computes the state mask out of the given modifiers string.
579
	 * Computes the state mask out of the given modifiers string.
543
	 *
580
	 *
(-)plugin.xml (+56 lines)
Lines 932-936 Link Here
932
            targetId="org.eclipse.ui.DefaultTextEditor">
932
            targetId="org.eclipse.ui.DefaultTextEditor">
933
      </hyperlinkDetector>
933
      </hyperlinkDetector>
934
   </extension>
934
   </extension>
935
   <extension
936
         point="org.eclipse.ui.themes">
937
      <theme
938
            id="org.eclipse.ui.ide.systemDefault">
939
         <colorOverride
940
               id="org.eclipse.ui.editors.currentLineColor"
941
               value="COLOR_WIDGET_LIGHT_SHADOW">
942
         </colorOverride>
943
         <colorOverride
944
               id="org.eclipse.ui.editors.lineNumberColor"
945
               value="COLOR_WIDGET_DARK_SHADOW">
946
         </colorOverride>
947
         <colorOverride
948
               id="org.eclipse.ui.editors.AbstractTextEditor.Color.FindScope"
949
               value="COLOR_WIDGET_DARK_SHADOW">
950
         </colorOverride>
951
         <colorOverride
952
               id="org.eclipse.ui.editors.printMarginColor"
953
               value="COLOR_WIDGET_NORMAL_SHADOW">
954
         </colorOverride>
955
         <colorOverride
956
               id="org.eclipse.ui.editors.hyperlinkColor"
957
               value="LIST_SELECTION_COLOR">
958
         </colorOverride>
959
      </theme>
960
    <colorDefinition
961
          id="org.eclipse.ui.editors.currentLineColor"
962
          isEditable="false"
963
          label="%Colors.currentLineColor"
964
          value="232,242,254">
965
    </colorDefinition>
966
    <colorDefinition
967
          id="org.eclipse.ui.editors.lineNumberColor"
968
          isEditable="false"
969
          label="%Colors.lineNumberColor"
970
          value="120,120,120">
971
    </colorDefinition>
972
    <colorDefinition
973
          id="org.eclipse.ui.editors.hyperlinkColor"
974
          isEditable="false"
975
          label="%Colors.hyperlinkColor"
976
          value="0,0,255">
977
  </colorDefinition>
978
   <colorDefinition
979
          id="org.eclipse.ui.editors.AbstractTextEditor.Color.FindScope"
980
          isEditable="false"
981
          label="%Colors.FindScope"
982
          value="185,176,180">
983
    </colorDefinition>
984
    <colorDefinition
985
          id="org.eclipse.ui.editors.printMarginColor"
986
          isEditable="false"
987
          label="%Colors.PrintMargin"
988
          value="176,180,185">
989
    </colorDefinition>
990
   </extension>
935
991
936
</plugin>
992
</plugin>
(-)plugin.properties (+7 lines)
Lines 135-137 Link Here
135
TextEditorHyperlinkTarget= Textual Editors
135
TextEditorHyperlinkTarget= Textual Editors
136
URLHyperlinkDetector= URL
136
URLHyperlinkDetector= URL
137
HyperlinkDetectorsPreferencePage= Hyperlinking
137
HyperlinkDetectorsPreferencePage= Hyperlinking
138
139
#--- Themes --- #
140
Colors.currentLineColor = Current Line
141
Colors.lineNumberColor = Line Number
142
Colors.hyperlinkColor = Hyperlink
143
Colors.FindScope = Find Scope
144
Colors.PrintMargin = Print Margin
(-)src/org/eclipse/ui/internal/texteditor/ITextEditorThemeConstants.java (+72 lines)
Added Link Here
1
/*******************************************************************************
2
 * Copyright (c) 2000, 2007 IBM Corporation and others.
3
 * All rights reserved. This program and the accompanying materials
4
 * are made available under the terms of the Eclipse Public License v1.0
5
 * which accompanies this distribution, and is available at
6
 * http://www.eclipse.org/legal/epl-v10.html
7
 *
8
 * Contributors:
9
 *     IBM Corporation - initial API and implementation
10
 *******************************************************************************/
11
12
package org.eclipse.ui.internal.texteditor;
13
14
import org.eclipse.jface.preference.PreferenceConverter;
15
import org.eclipse.ui.editors.text.EditorsUI;
16
import org.eclipse.ui.texteditor.AbstractDecoratedTextEditorPreferenceConstants;
17
import org.eclipse.ui.texteditor.AbstractTextEditor;
18
19
/**
20
 * ITextEditorThemeConstants are the set of constants used in the theme
21
 * extensions by the text editor. These correspond to the constants in
22
 * {@link AbstractDecoratedTextEditorPreferenceConstants}
23
 * 
24
 */
25
public interface ITextEditorThemeConstants {
26
27
	static String ID_PREFIX = EditorsUI.PLUGIN_ID + "."; //$NON-NLS-1$
28
29
	/**
30
	 * A named theme constant that holds the color used to highlight the current
31
	 * line (value <code>"org.eclipse.ui.texteditor.currentLineColor"</code>).
32
	 * 
33
	 * @see org.eclipse.jface.resource.StringConverter
34
	 * @see PreferenceConverter
35
	 */
36
	public final static String EDITOR_CURRENT_LINE_COLOR = ID_PREFIX
37
			+ AbstractDecoratedTextEditorPreferenceConstants.EDITOR_CURRENT_LINE_COLOR;
38
39
	/**
40
	 * A named theme constant that holds the color used to render line numbers
41
	 * inside the line number ruler (value
42
	 * <code>"org.eclipse.ui.texteditor.lineNumberColor"</code>).
43
	 * 
44
	 * @see org.eclipse.jface.resource.StringConverter
45
	 * @see PreferenceConverter
46
	 */
47
	public final static String EDITOR_LINE_NUMBER_RULER_COLOR = ID_PREFIX
48
			+ AbstractDecoratedTextEditorPreferenceConstants.EDITOR_LINE_NUMBER_RULER_COLOR;
49
50
	/**
51
	 * A named theme constant that holds the color used for hyperlinks.
52
	 * 
53
	 * @see org.eclipse.jface.resource.StringConverter
54
	 */
55
	public final static String EDITOR_HYPERLINK_COLOR = ID_PREFIX
56
			+ AbstractDecoratedTextEditorPreferenceConstants.EDITOR_HYPERLINK_COLOR;
57
58
	/**
59
	 * Key used to look up find scope background color preference. Value:
60
	 * <code>org.eclipse.ui.texteditor.AbstractTextEditor.Color.FindScope</code>
61
	 */
62
	public final static String PREFERENCE_COLOR_FIND_SCOPE = ID_PREFIX
63
			+ AbstractTextEditor.PREFERENCE_COLOR_FIND_SCOPE;
64
65
	/**
66
	 * A named preference that holds the color used to render the print margin
67
	 * (value <code>"org.eclipse.ui.texteditor.printMarginColor"</code>).
68
	 */
69
	public final static String EDITOR_PRINT_MARGIN_COLOR = ID_PREFIX
70
			+ AbstractDecoratedTextEditorPreferenceConstants.EDITOR_PRINT_MARGIN_COLOR;
71
72
}

Return to bug 22243