| commit | 6c2623e716d8d9459a0f24ee3725152da3e66c58 | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Fri Mar 06 09:28:48 2020 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Fri Mar 06 09:28:48 2020 +0100 |
| tree | 5ff3b2baa504ca1c5113a3c861b7581c8a14e2a4 | |
| parent | ba9324f125e2196ad7492bbebe4c94985f554d00 [diff] |
[560565] Provide support for a branding-based notification button Position the button in the upper right. Provide a black version of the star for hover and focus state painting. https://bugs.eclipse.org/bugs/show_bug.cgi?id=560565
