Back to bug 501117

Who When What Removed Added
Lars.Vogel 2016-09-09 03:24:45 EDT Summary [Graphics Replace gif files in org.eclipse.ui.examples.javaeditor with png files [Graphics] Replace gif files in org.eclipse.ui.examples.javaeditor with png files
Lars.Vogel 2016-09-09 03:24:52 EDT Depends on 501115
Lars.Vogel 2016-09-09 03:24:58 EDT Target Milestone --- 4.7
Lars.Vogel 2016-11-18 05:04:19 EST CC ma.becker
genie 2017-05-02 07:28:23 EDT See Also https://git.eclipse.org/r/96149
genie 2017-05-02 07:28:36 EDT See Also https://git.eclipse.org/r/96150
genie 2017-05-15 05:27:58 EDT See Also https://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=2d934aa3b24f3b875d57839f7eb527d26059d2bb
genie 2017-05-15 05:28:32 EDT See Also https://git.eclipse.org/c/platform/eclipse.platform.images.git/commit/?id=f8be8c35a81887df8bad95b5edb8ef71d0781590
Lars.Vogel 2017-05-15 05:29:19 EDT Keywords example
Status NEW RESOLVED
Resolution --- FIXED
Assignee platform-text-inbox ma.becker
Target Milestone 4.7 4.7 RC1
Lars.Vogel 2017-05-30 10:47:00 EDT Status RESOLVED VERIFIED

Back to bug 501117