diff options
author | Michael Keppler | 2019-03-11 06:18:47 +0000 |
---|---|---|
committer | Matthias Sohn | 2019-03-13 12:16:50 +0000 |
commit | 3ab022af4a761698b2d601c970f08d0783dad2e7 (patch) | |
tree | 24c77014efcd22fc0a6b2a1d1f58903f8176b9f1 /org.eclipse.egit.ui/plugin.xml | |
parent | 981a6dd63dbef10d174e4acb2aae9e37535269e6 (diff) | |
download | egit-3ab022af4a761698b2d601c970f08d0783dad2e7.tar.gz egit-3ab022af4a761698b2d601c970f08d0783dad2e7.tar.xz egit-3ab022af4a761698b2d601c970f08d0783dad2e7.zip |
Have a description for the Git perspective.
This is only shown when pressing F2 in the "open perspective" dialog.
Nevertheless let us have a perspective description, it might be used at
other places in the future.
Change-Id: Ib44f010ec872eb97d3135eedd97ee617ef8e8ca5
Signed-off-by: Michael Keppler <Michael.Keppler@gmx.de>
Diffstat (limited to 'org.eclipse.egit.ui/plugin.xml')
-rw-r--r-- | org.eclipse.egit.ui/plugin.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.egit.ui/plugin.xml b/org.eclipse.egit.ui/plugin.xml index e43330373d..249f0ff320 100644 --- a/org.eclipse.egit.ui/plugin.xml +++ b/org.eclipse.egit.ui/plugin.xml @@ -3140,6 +3140,9 @@ icon="icons/obj16/gitrepository.png" id="org.eclipse.egit.ui.GitRepositoryExploring" name="%GitRepositoryPerspective_name"> + <description> + %GitRepositoryPerspective_description + </description> </perspective> </extension> <extension |