PinballX 4.33 - No Image Company Logo

[scutters]

In PinballX 4.33 using gifs in the Company Logos folder - where no manufacturer logo is found a 'No Image.gif' file is not used by PinballX, it still uses the original 'No Image.png' file. 

Not sure if this is by design, but in my opinion would be better to use an alternate gif file if found.

 

I can attach the usual files if anybody wants them (but not much use for this issue)

Thanks