Change "MPEG" export to be MPEG4 (.mp4)
commit709dd140f1e75346074aab42d894939a8ee0ce41
authorOlly Betts <olly@survex.com>
Fri, 23 Sep 2016 22:44:18 +0000 (24 10:44 +1200)
committerOlly Betts <olly@survex.com>
Fri, 23 Sep 2016 22:44:18 +0000 (24 10:44 +1200)
tree2e0341e39f598c170622b174c00aff56251dddb5
parent420cda98cc818359e9882908f0d265572289f794
Change "MPEG" export to be MPEG4 (.mp4)

MPEG4 produces smaller output of higher quality, and should be widely
supported these days.  And I can't get the MPEG1 output to work without
buffer underflows, resulting in a file which doesn't play without
glitches.
src/mainfrm.cc