commit | f73a82be267041be731ae9771c8c920a83a6c06b | [log] [tgz] |
---|---|---|
author | Markus Keller <markus_keller@ch.ibm.com> | Tue Apr 28 20:05:01 2015 +0200 |
committer | Markus Keller <markus_keller@ch.ibm.com> | Tue Apr 28 20:05:01 2015 +0200 |
tree | fec6abe697fa7a7ea92abb08144727228c3a0558 | |
parent | 80a8879beff3141dbc2da105941c631799924aea [diff] |
Bug 426025: [Graphics] Switch JDT UI to use png file instead of .gif Restore /org.eclipse.jdt.ui/icons/full/eview16/*.gif for broken E4, see bug 465456