I'm developing an app in Android Studio, and it's useful to be able to record video from the emulator (via the button in the Logcat tab). However, in recent versions of Studio (I'm now on 3.4.1) the default video format has changed to WebM.
WebM videos are really big and awkward to work with. Is there an easy way to request a different format, e.g. MP4?
Inside the emulator settings, there's a different recording UI that allows you to save as .webm or .gif. I'm actually using GIFs right now, but it's not the best workaround. I'd prefer to use the Android Studio UI as it's more convenient.