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).