From 628e150d93b434178d806defd25b63b560df238b Mon Sep 17 00:00:00 2001 From: Matthias Becker Date: Thu, 28 Nov 2024 09:42:02 +0100 Subject: [PATCH] Add Keywords to "Appearance" Preference Page Add "Icons" and "Titles" as keywords to the preference page so that user can search for the "Hide Icons" and "Show full Titles" settings. Fixes: https://github.com/eclipse-platform/eclipse.platform.ui/issues/2553 --- bundles/org.eclipse.ui.ide/plugin.properties | 2 ++ bundles/org.eclipse.ui.ide/plugin.xml | 8 ++++++++ 2 files changed, 10 insertions(+) diff --git a/bundles/org.eclipse.ui.ide/plugin.properties b/bundles/org.eclipse.ui.ide/plugin.properties index 6256c252eff..5223dbf0183 100644 --- a/bundles/org.eclipse.ui.ide/plugin.properties +++ b/bundles/org.eclipse.ui.ide/plugin.properties @@ -233,6 +233,8 @@ PreferenceKeywords.ColorLabels = color label PreferenceKeywords.General = click background heap PreferenceKeywords.ViewLimit = view limit maximum elements items PreferenceKeywords.Themes = themes +PreferenceKeywords.Icons = icons +PreferenceKeywords.Titles = titles PreferenceKeywords.AppearancePage = presentation MRU dark light tabs PreferenceKeywords.Tabs = tab PreferenceKeywords.Editors = editors diff --git a/bundles/org.eclipse.ui.ide/plugin.xml b/bundles/org.eclipse.ui.ide/plugin.xml index b170640a475..9b6518e3ba7 100644 --- a/bundles/org.eclipse.ui.ide/plugin.xml +++ b/bundles/org.eclipse.ui.ide/plugin.xml @@ -461,6 +461,12 @@ + + @@ -641,7 +647,9 @@ + +