Feature Request: Option to reduce exported GIF file size

[meiiie]

Summary

Track an option for reducing the file size of exported GIFs (quality / compression trade-off or equivalent control).

Motivation

Issue #205 combines this with a separate macOS menu-bar / dock track. GIF size and export quality controls are an export-pipeline feature with their own implementation path, so this is easier to move forward as a focused issue.

Requested behavior

• A way to trade visual quality for smaller GIF file size at export time. Reported by @santynaren in Menu bar Icon and GIF size #205: high-quality GIF exports look good but produce large files, and there is currently no in-app control — users either accept the larger size or reach for an external compression tool.
• Options worth considering (non-exhaustive): a quality / compression slider, an optional target file-size mode, or a palette-depth / dither control.

Related

• Split out from Menu bar Icon and GIF size #205

[meiiie]

Earlier draft #357 was closed without merging, so this issue remains open. No new reporter action is needed; the next step is a fresh focused implementation when GIF compression controls are picked up again.

[mvanhorn]

Picking up @meiiie's re-up invitation - PR #598. Three presets (low/balanced/high), default unchanged. Open to retuning the boundaries if you'd prefer different defaults.