diff options
| author | Michael Keppler | 2022-04-02 17:23:36 +0000 |
|---|---|---|
| committer | Thomas Wolf | 2022-04-02 22:00:50 +0000 |
| commit | b6058d355aa52b79717faee2aa7746b4dc8aecd1 (patch) | |
| tree | 3f9e5349a5267cdd8212a139997ce26fec45fdcc | |
| parent | 379689e8e7e25353f3237b8f342e1e72bbeadc43 (diff) | |
| download | egit-b6058d355aa52b79717faee2aa7746b4dc8aecd1.tar.gz egit-b6058d355aa52b79717faee2aa7746b4dc8aecd1.tar.xz egit-b6058d355aa52b79717faee2aa7746b4dc8aecd1.zip | |
[team menu] Same separator as in the Git Repositories view
With the growing number of pull related icons it seems reasonable to
have a separate group for them, like in the repositories view
Bug: 579477
Change-Id: I619785062ce28db84f89211e7d4fb19f9b60e94b
| -rw-r--r-- | org.eclipse.egit.ui/plugin.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/org.eclipse.egit.ui/plugin.xml b/org.eclipse.egit.ui/plugin.xml index 93be2d2020..a13ed7c9b7 100644 --- a/org.eclipse.egit.ui/plugin.xml +++ b/org.eclipse.egit.ui/plugin.xml @@ -5677,6 +5677,10 @@ </test> </visibleWhen> </menu> + <separator + name="org.eclipse.egit.ui.pullPushSeparator" + visible="true"> + </separator> <command commandId="org.eclipse.egit.ui.team.SimplePush" label="%PushToUpstreamAction.label" |