Update EGit state when only FETCH_HEAD changes
commitd2a494c5bb4d64b8e4e4c26c000469f97ad5825c
authorThomas Wolf <thomas.wolf@paranor.ch>
Wed, 3 May 2017 13:09:24 +0000 (3 15:09 +0200)
committerThomas Wolf <thomas.wolf@paranor.ch>
Wed, 3 May 2017 13:10:45 +0000 (3 15:10 +0200)
treebaa82293d74cfa223e895bc892481591b747d9ce
parent13d203318bdb054238eb1b16bbf32a6dd9f17220
Update EGit state when only FETCH_HEAD changes

* Manual refresh in the history view must consider FETCH_HEAD if
  additional refs are shown.
* Fetching a Gerrit change with "Update FETCH_HEAD only" set must
  fire a RefsChangedEvent. To be able to handle that properly in
  the history view (it should update only if additional refs are
  shown), introduce a new FetchHeadChangedEvent.

Bug: 437362
Change-Id: I6c8682dd62dd4d65211a6eff87710a0034ab04aa
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/fetch/FetchGerritChangePage.java
org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/fetch/FetchHeadChangedEvent.java [new file with mode: 0644]
org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/history/GitHistoryPage.java