mirror of
https://github.com/OpenHands/OpenHands.git
synced 2025-12-25 21:36:52 +08:00
3bf038ed7c
Co-authored-by: openhands <openhands@all-hands.dev> Co-authored-by: Xingyao Wang <xingyao@all-hands.dev>
10 lines
253 B
Python
10 lines
253 B
Python
import time
|
|
|
|
from prompt_toolkit.input import PipeInput
|
|
|
|
|
|
def _send_keys(pipe: PipeInput, text: str, delay: float = 0.05) -> None:
|
|
"""Helper: small delay then send keys to avoid race with app.run()."""
|
|
time.sleep(delay)
|
|
pipe.send_text(text)
|