diff options
author | Thomas Wolf | 2020-04-07 07:47:27 +0000 |
---|---|---|
committer | Thomas Wolf | 2020-04-07 07:47:27 +0000 |
commit | 13c766569e8b5431829d6b5cc32a0eb7c152b3f9 (patch) | |
tree | 72c6cae7733c590605633c97e699628b05966cab /org.eclipse.egit.ui/.settings | |
parent | e77d3b3b65004a33a5eadb63124cce6ebf5e7ebc (diff) | |
download | egit-13c766569e8b5431829d6b5cc32a0eb7c152b3f9.tar.gz egit-13c766569e8b5431829d6b5cc32a0eb7c152b3f9.tar.xz egit-13c766569e8b5431829d6b5cc32a0eb7c152b3f9.zip |
[repo view] tag filtering: ensure status bar update
Always re-set the selection after filtering to make sure the label
and the status bar update correctly. Also guard against the tree
having been disposed.
Change-Id: I4301844979722bffd874e5ba1a079aa76747bad3
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
Diffstat (limited to 'org.eclipse.egit.ui/.settings')
0 files changed, 0 insertions, 0 deletions