有没有办法在Python中用turtle调整gif形状的大小？

我正在使用海龟制作一个小游戏，并意识到我可以使用图像文件turtle.registershape(filename)。我知道你可以调整默认形状的大小turtle.shapesize or turtle.resizemode("auto")和改变pensize，但是有没有办法使用这些方法来调整 gif 文件的大小呢？

import turtle

turtle.addshape("example.gif")

t = turtle.Turtle()

t.shape("example.gif")

t.resizemode("auto")
t.pensize(24)
t.stamp()

turtle.exitonclick()

我想要这样的东西工作，但海龟正常显示，没有调整大小。

我查看了适用的海龟代码，我相信答案是，“不，不在海龟本身内。”

引入海龟底层的 tkinter，为我们提供了一些有限的（完整的）海龟图像扩展和缩小功能：

from tkinter import PhotoImage
from turtle import Turtle, Screen, Shape

screen = Screen()

# substitute 'subsample' for 'zoom' if you want to go smaller:
larger = PhotoImage(file="example.gif").zoom(2, 2)

screen.addshape("larger", Shape("image", larger))

tortoise = Turtle("larger")

tortoise.stamp()

tortoise.hideturtle()

screen.exitonclick()

如果您想要更大的灵活性，标准方法似乎是在turtle/tkinter之外调整图形的大小or使用PIL模块动态调整图形大小并将其交给turtle/tkinter。