diff options
| author | angelozerr | 2018-08-21 10:32:48 +0000 |
|---|---|---|
| committer | Mickael Istria | 2018-08-24 07:34:53 +0000 |
| commit | 762fdeb324379150150e696639fd967baee29b97 (patch) | |
| tree | b2cab271f90fe8d5e7ec00e520970b71f8e592f0 /org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/preferences/IGenericEditorThemeConstants.java | |
| parent | 16bb876f5de4fab50e3b7b5328553fff76166ef0 (diff) | |
| download | eclipse.platform.text-762fdeb324379150150e696639fd967baee29b97.tar.gz eclipse.platform.text-762fdeb324379150150e696639fd967baee29b97.tar.xz eclipse.platform.text-762fdeb324379150150e696639fd967baee29b97.zip | |
Bug 538111 - [generic editor] Extension point for ICharacterPairMatcher
Change-Id: Id8fd3d0dcfc09fa8f7037dbac83de487e729f26a
Signed-off-by: angelozerr <angelo.zerr@gmail.com>
Diffstat (limited to 'org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/preferences/IGenericEditorThemeConstants.java')
| -rw-r--r-- | org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/preferences/IGenericEditorThemeConstants.java | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/preferences/IGenericEditorThemeConstants.java b/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/preferences/IGenericEditorThemeConstants.java new file mode 100644 index 00000000000..aad591abfd8 --- /dev/null +++ b/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/preferences/IGenericEditorThemeConstants.java @@ -0,0 +1,31 @@ +/**
+ * Copyright (c) 2018 Angelo ZERR.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v2.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v20.html
+ *
+ * Contributors:
+ * Angelo Zerr <angelo.zerr@gmail.com> - Bug 538111 - [generic editor] Extension point for ICharacterPairMatcher
+ */
+package org.eclipse.ui.internal.genericeditor.preferences;
+
+import org.eclipse.ui.internal.genericeditor.GenericEditorPlugin;
+
+/**
+ * Defines the constants used in the <code>org.eclipse.ui.themes</code>
+ * extension contributed by this plug-in.
+ *
+ * @since 1.2
+ */
+public interface IGenericEditorThemeConstants {
+
+ String ID_PREFIX = GenericEditorPlugin.BUNDLE_ID + "."; //$NON-NLS-1$
+
+ /**
+ * Theme constant for the color used to highlight matching brackets.
+ */
+ public final String EDITOR_MATCHING_BRACKETS_COLOR = ID_PREFIX
+ + GenericEditorPreferenceConstants.EDITOR_MATCHING_BRACKETS_COLOR;
+
+}
|