git/list[1] front-page[2] threads[3] people[4] search[5] about
 

[EGIT PATCH 3/4] Add the keyword "Git" to the git preferences pages.

From
Robin Rosenberg <robin.rosenberg@dewire.com>
Date
Jan 25, 2009, 18:52 UTC
Message-ID
<1232909538-3279-3-git-send-email-robin.rosenberg@dewire.com>
In-Reply-To
<1232909538-3279-2-git-send-email-robin.rosenberg@dewire.com>

If the users searches for "Git" in the workspaces preferences, all git related preferences pages will now be found.

Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com>
---
 org.spearce.egit.ui/plugin.xml |   20 ++++++++++++++++++--
 1 files changed, 18 insertions(+), 2 deletions(-)
diff --git a/org.spearce.egit.ui/plugin.xml b/org.spearce.egit.ui/plugin.xml
index e5c81e5..c2b82fd 100644
--- a/org.spearce.egit.ui/plugin.xml
+++ b/org.spearce.egit.ui/plugin.xml
@@ -187,11 +187,19 @@
       <page name="%GitPreferences_HistoryPreferencePage_name"
             category="org.eclipse.team.ui.TeamPreferences/org.spearce.egit.ui.GitPreferences"
             class="org.spearce.egit.ui.internal.preferences.HistoryPreferencePage"
-            id="org.spearce.egit.ui.internal.preferences.HistoryPreferencePage" />
+	    id="org.spearce.egit.ui.internal.preferences.HistoryPreferencePage" >
+	    <keywordReference
+		  id="org.spearce.egit.ui.keyword.git">
+	    </keywordReference>
+	    </page>
       <page name="%GitPreferences_WindowCachePreferencePage_name"
             category="org.eclipse.team.ui.TeamPreferences/org.spearce.egit.ui.GitPreferences"
             class="org.spearce.egit.ui.internal.preferences.WindowCachePreferencePage"
-            id="org.spearce.egit.ui.internal.preferences.WindowCachePreferencePage" />
+	    id="org.spearce.egit.ui.internal.preferences.WindowCachePreferencePage" >
+	    <keywordReference
+		  id="org.spearce.egit.ui.keyword.git">
+	    </keywordReference>
+      </page>
    </extension>
 
    <extension point="org.eclipse.ui.propertyPages">
@@ -212,6 +220,14 @@
          </filter>
       </page>
    </extension>
+
+   <extension point="org.eclipse.ui.keywords">
+	  <keyword
+			id="org.spearce.egit.ui.keyword.git"
+			label="git">
+	  </keyword>
+   </extension>
+
    <extension point="org.eclipse.ui.decorators">
       <decorator
             lightweight="true"
-- 
1.6.1.285.g35d8b
Previous: Robin RosenbergNext: Robin Rosenberg
Message 3 of 4 in “Cleanup ui plugin.xml, refer to interface IResource, not Resource”
  1. 1/4 Cleanup ui plugin.xml, refer to interface IResource, not ResourceRobin Rosenberg, Jan 25, 2009
  2. 2/4 Cleanup ui plugin.xml, replace deprecated elements and attributesRobin Rosenberg, Jan 25, 2009
  3. 3/4 Add the keyword "Git" to the git preferences pages.Robin Rosenberg, Jan 25, 2009
  4. 4/4 Retain Eclipse Git preferences page hierarchy without warnings in plugin.xmlRobin Rosenberg, Jan 25, 2009

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.