refs/heads/oxygen - gerrit/libra/org.eclipse.libra - Git at Google

commit: ecb077e2d37a9f65451ce206cd105ddd68a21faa
[log] [tgz]
author: Hannes Erven <hannes@erven.at>
Fri Jul 13 15:28:40 2018 +0200
committer: Hannes Erven <hannes@erven.at>
Fri Jul 13 15:28:40 2018 +0200
tree: 82cdd9000e2367bf3a06818f38efa2ed01338830
parent: ee6400126bb2887189ebdf6a452b7b2d6fb3ca70 [diff]

[537002] use public API to retrieve "refresh" image

plugins/org.eclipse.libra.framework.editor.ui/src/org/eclipse/libra/framework/editor/ui/internal/overview/BundleInformationMasterPart.java[diff]

1 file changed

tree: 82cdd9000e2367bf3a06818f38efa2ed01338830