diff options
author | Stefan Lay | 2011-04-06 14:22:48 +0000 |
---|---|---|
committer | Code Review | 2011-04-06 14:22:48 +0000 |
commit | f9af60e5f5d412be307ed5432ad6bdeb024e2639 (patch) | |
tree | b2533190771dc262f52049c11bca23e9c2e697d1 | |
parent | 12c9fb12e37e759efbbe32f2634a1aab81468b39 (diff) | |
parent | ec28b802ec6af87c9ec9bb85b7f7bfea06189337 (diff) | |
download | egit-f9af60e5f5d412be307ed5432ad6bdeb024e2639.tar.gz egit-f9af60e5f5d412be307ed5432ad6bdeb024e2639.tar.xz egit-f9af60e5f5d412be307ed5432ad6bdeb024e2639.zip |
Merge "Add the "refresh" keyword to the git preferences page"
-rw-r--r-- | org.eclipse.egit.ui/plugin.xml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/org.eclipse.egit.ui/plugin.xml b/org.eclipse.egit.ui/plugin.xml index 306e2162b5..1e98425705 100644 --- a/org.eclipse.egit.ui/plugin.xml +++ b/org.eclipse.egit.ui/plugin.xml @@ -334,8 +334,10 @@ <page name="%GitPreferences_name" category="org.eclipse.team.ui.TeamPreferences" class="org.eclipse.egit.ui.internal.preferences.GitPreferenceRoot" - id="org.eclipse.egit.ui.GitPreferences" /> - + id="org.eclipse.egit.ui.GitPreferences"> + <keywordReference + id="org.eclipse.egit.ui.keyword.refresh"/> + </page> <page name="%GitPreferences_WindowCachePreferencePage_name" category="org.eclipse.egit.ui.GitPreferences" class="org.eclipse.egit.ui.internal.preferences.WindowCachePreferencePage" |