Speed up drags during playback

This commit is contained in:
Isaiah Odhner 2023-09-10 02:20:19 -04:00
parent 1a53a18912
commit 196ae0e810

View File

@ -195,7 +195,7 @@ async def drag(selector: str, offsets: list[Offset], shift: bool = False, meta:
target_widget, offset, button=1, shift=shift, meta=meta, control=control
)
pilot.app.post_message(MouseMove(**message_arguments))
await pilot.pause(0.1)
await pilot.pause()
pilot.app.post_message(MouseUp(**message_arguments))
await pilot.pause(0.1)
# pilot.app.post_message(Click(**message_arguments))