This is a feature request: add a feature to change a color across all frames in a GIF.

Note: There already is a brush-based swap color tool, but it only works on a single frame at a time and it only works on a 100 pixel-sized brush.

Use case 1: user wants to change black & white gif into red & black gif.Use case 2: user made a GIF based on an old 16 color video game character but the green is too dark. The user wants to pick a lighter shade of green.

Show a list of the colors in the selected/all frames, let the user change each color. The color is changed for -all- pixels across every selected frame (or all frames).

if you want to replace all color in a single frame, that can be done by doubleclicking the Color Replacer brush. It won't work with multiple frames simultaneously though, so I'll add this to suggestions.