diff options
author | Thomas Wolf | 2016-06-09 17:56:36 +0000 |
---|---|---|
committer | Andrey Loskutov | 2016-07-02 16:40:41 +0000 |
commit | 8c613c20f51b0c387b9602fdaec9aa5dc15cb37a (patch) | |
tree | 753449e70331f90637cda257cd4c12317115c2bf /org.eclipse.egit.ui/plugin.properties | |
parent | 09e0d369d3721bb844e0f60355efccc52381d5be (diff) | |
download | egit-8c613c20f51b0c387b9602fdaec9aa5dc15cb37a.tar.gz egit-8c613c20f51b0c387b9602fdaec9aa5dc15cb37a.tar.xz egit-8c613c20f51b0c387b9602fdaec9aa5dc15cb37a.zip |
Eliminate defaultHandler for "Refresh"
Also use the standard refresh command, and provide a handler for it.
This enables the standard F5 shortcut for the command in the
repositories view.
Bug: 495064
Bug: 495663
Change-Id: I7ad378bc79745643288f0cf7b35742183cb1245b
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Diffstat (limited to 'org.eclipse.egit.ui/plugin.properties')
-rw-r--r-- | org.eclipse.egit.ui/plugin.properties | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/org.eclipse.egit.ui/plugin.properties b/org.eclipse.egit.ui/plugin.properties index 313263936b..609a0b192d 100644 --- a/org.eclipse.egit.ui/plugin.properties +++ b/org.eclipse.egit.ui/plugin.properties @@ -142,7 +142,6 @@ FetchCommand = Fetch... CommitCommand = Commit PastePathCommand = Paste Repository Path or URI PushCommand = Push... -RefreshCommand = Refresh RemoveRepositoryCommand = Remove Repository ImportProjectsCommand = Import Projects... ImportProjectsCommand_description = Import or create in local Git repository @@ -262,7 +261,6 @@ RepoViewCreateRepository.tooltip = Create a new Git Repository and add it to thi RepoAddRepositoryViewMenu.label = &Add a Repository RepoCloneRepositoryViewMenu.label = &Clone a Repository RepoCreateRepositoryViewMenu.label = &Create a Repository -RepoViewRefreshViewMenu.label = &Refresh RepoViewLinkWithSelectionMenu.label = Link with &Selection RepoViewCreateRepositoryCommand.name = Create a Repository CreateRepositoryWizard.name = Git Repository |