这是我在Stack Overflow上的第一篇文章，所以如果我打破不成文的规则，我道歉！经过大量在线搜索后，我找不到用于裁剪GIF文件的工具。更具体地说，我想裁剪一个具有多个帧的GIF。我希望我的应用程序的用户能够从INTERNAL或EXTERNAL内存中选择GIF，然后能够裁剪其中的一部分以捕获屏幕的所需部分。我有最小像素尺寸要求，如果它不符合最小尺寸，则需要重新缩放GIF。
例如，假设用户选择400 x 400的GIF，我想要裁剪和保存GIF的300 x 320子部分。是否有任何特定的图书馆可以协助此活动？