Bug 493931 - wrong GIFs in /org.eclipse.ui.console/full

Change-Id: I33bd88c5be4932620d4ab216afeacc73ef10d94b
10 files changed