diff options
| author | Dejan Gloszic | 2005-02-03 23:23:27 +0000 |
|---|---|---|
| committer | Dejan Gloszic | 2005-02-03 23:23:27 +0000 |
| commit | 57a585c4515594023229599267443ca01f1c6fc1 (patch) | |
| tree | 32939b53cc75aca035850a1a0d9b11a833f4534c /org.eclipse.help.ui/plugin.properties | |
| parent | 9a52d9598f416a65853ccc35c554345b2032157d (diff) | |
| download | eclipse.platform.ua-57a585c4515594023229599267443ca01f1c6fc1.tar.gz eclipse.platform.ua-57a585c4515594023229599267443ca01f1c6fc1.tar.xz eclipse.platform.ua-57a585c4515594023229599267443ca01f1c6fc1.zip | |
*** empty log message ***
Diffstat (limited to 'org.eclipse.help.ui/plugin.properties')
| -rw-r--r-- | org.eclipse.help.ui/plugin.properties | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.help.ui/plugin.properties b/org.eclipse.help.ui/plugin.properties index 5c657677e..abbd2b5b4 100644 --- a/org.eclipse.help.ui/plugin.properties +++ b/org.eclipse.help.ui/plugin.properties @@ -30,5 +30,8 @@ LocalHelp.desc = Searches local help documents Google.label = Google Google.desc = Performs a Google web search +WebSearch.label = Web Search +WebSearch.desc = Performs a general-purpose Web search + Eclipse.label = Eclipse.org Eclipse.desc = Searches mailing lists, news groups, articles and other documents on Eclipse.org |