If there is no video record key, then when you press the GIF record key, a video will be recorded
I removed the video recording key because I don’t need it and I’m used to the controls from SRB2, but when I press the key (F9), a video is still recorded, not a GIF.