diff options
author | Stefan Seelmann <mail@stefan-seelmann.de> | 2020-04-25 15:49:37 +0300 |
---|---|---|
committer | Stefan Seelmann <mail@stefan-seelmann.de> | 2020-04-25 15:49:37 +0300 |
commit | 4ead5b9a397cb7046a0cb7dcdea5ccebb8b057d3 (patch) | |
tree | 9c426d0c7a2a1fe64a39bc910cc778737a1fe479 /plugins | |
parent | df343830da2f3e8ec2f8599bcece0eec99d7c0d0 (diff) |
DIRSTUDIO-1206: Add appearance preferences page which allows theme configuration
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/rcp/plugin.xml | 10 | ||||
-rw-r--r-- | plugins/rcp/pom-first.xml | 1 |
2 files changed, 11 insertions, 0 deletions
diff --git a/plugins/rcp/plugin.xml b/plugins/rcp/plugin.xml index c7950c8bf..8d81add23 100644 --- a/plugins/rcp/plugin.xml +++ b/plugins/rcp/plugin.xml @@ -107,6 +107,11 @@ class="org.apache.directory.studio.preferences.ShutdownPreferencesPage" id="org.apache.directory.studio.preferences.ShutdownPreferencesPage" name="%PrefPage_ShutdownPreferencesPage_name"/> + <page + category="org.eclipse.ui.preferencePages.Workbench" + class="org.eclipse.ui.ExtensionFactory:appearancePreferencePage" + id="org.eclipse.ui.preferencePages.Appearance" + name="Appearance"/> </extension> <extension @@ -380,6 +385,11 @@ activityId="%RCP_Hide_id" isEqualityPattern="true" pattern="org.eclipse.ui.ide/org.eclipse.e4.ui.importer.openDirectory.menu"/> + + <activityPatternBinding + activityId="%RCP_Hide_id" + isEqualityPattern="true" + pattern="org.eclipse.text.quicksearch/org.eclipse.text.quicksearch.PreferencesPage"/> </extension> <extension diff --git a/plugins/rcp/pom-first.xml b/plugins/rcp/pom-first.xml index 723059f34..fd2329508 100644 --- a/plugins/rcp/pom-first.xml +++ b/plugins/rcp/pom-first.xml @@ -54,6 +54,7 @@ org.eclipse.core.net, org.eclipse.core.resources, org.eclipse.core.runtime, + org.eclipse.e4.ui.css.swt.theme, org.eclipse.ui, org.eclipse.ui.ide, org.eclipse.ui.intro |