From 54a481813acdfb836feb916ddec82bb5036ca4c2 Mon Sep 17 00:00:00 2001 From: "Paul Gauthier (aider)" Date: Mon, 5 Aug 2024 17:32:07 -0300 Subject: [PATCH] fix: update spinner every 0.1 sec at most --- aider/io.py | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/aider/io.py b/aider/io.py index c31111ee3..65c2c2315 100644 --- a/aider/io.py +++ b/aider/io.py @@ -1,6 +1,7 @@ import base64 import itertools import os +import time from collections import defaultdict from datetime import datetime from pathlib import Path @@ -26,9 +27,16 @@ class Spinner: def __init__(self, io, text): self.io = io self.text = text - print(f" {self.text} {next(self.io.spinner_chars)}", end="\r", flush=True) + self.last_update = 0 + self._step() def step(self): + current_time = time.time() + if current_time - self.last_update >= 0.1: + self._step() + self.last_update = current_time + + def _step(self): print(f" {self.text} {next(self.io.spinner_chars)}", end="\r", flush=True) def end(self):