Export as gif #64
Description
Is your feature request related to a problem? Please describe.
When creating short screen recordings (e.g., demos, tutorials, or bug reports), I often need to share them as GIFs. Currently, OpenScreen allows recording and editing videos, but there is no way to export the final result as a GIF. This requires using an external tool, adding extra steps.
Describe the solution you'd like
Add an option to export edited recordings directly as GIF files. Ideally, this would include basic controls such as resolution, frame rate to optimize file size and quality.
Describe alternatives you've considered
Using third-party tools to convert exported videos into GIFs (e.g., online converters or desktop apps), but this adds time spent, and sometimes reduces quality.
Additional context
GIF export would be especially useful for sharing quick demos on GitHub issues, Slack, documentation, and social media. Since OpenScreen already supports editing, this feature would fit naturally into the existing workflow.