-
Halla Rempt authored
This also disables the video options button if the current format is gif, since there are no extra options for rendering to gif, and removes the extra options for gif in the videosaver, so we don't get unusable arguments like baseline profile for gif. BUG:403873
645953a1