On Thu, 5 Apr 2012 09:19:41 -0700 (PDT) Darrell Anderson <humanreadable@...> wrote: > > > Is there a special reason a mng file is used rather > > than png? If mng is required then somebody with gimp skills > > needs to fix the image. If png can be used then I can > > convert the file myself. Please let me know. > > > > > > iirc, MNG was a competitor to GIF that failed to gain > > traction. > > Yes. > > I can see in the code that the intent in the kickoff menu is to use an animated graphic. My focus >for my previous question is: is mng (animation) necessary? If not, then I can convert the image to >png and patch the source code to use png rather than mng. Straightforward fix even for me. :) > > If you want to keep the mng for animation, then the only app I know supporting mng editing is gimp >and that is way out of my league. Even if we decide we want the animation, there's no reason to keep it in such an obscure format—gif is no longer patent-encumbered, and apng is a viable alternative. However, since no one so far has admitted to even seeing the thing before, I would say it can probably be downgraded to a static image without causing a riot. If we feel we absolutely need to keep the animation, I can try to edit it--I'm familiar enough with the GIMP, but I don't often handle animated images, given that they mostly went out with the <BLINK> tag.