mirrors/xonsh
1
0
Fork 0
mirror of https://github.com/xonsh/xonsh.git synced 2025-03-04 16:34:47 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

add args

Browse source
This commit is contained in:
vaaaaanquish 2019-06-29 22:35:13 -07:00
parent a241538599
commit 19fdd2dffe
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
xonsh/ptk2/shell.py
View file

@ -155,6 +155,11 @@ class PromptToolkit2Shell(BaseShell):
except (AttributeError, TypeError, ValueError):
print_exception()
prompt_refresh_interval = builtins.__xonsh__.env.get(
"PROMPT_REFRESH_INTERVAL")
if prompt_refresh_interval.replace('.', '').isdigit():
prompt_args["refresh_interval"] = float(prompt_refresh_interval)
line = self.prompter.prompt(**prompt_args)
events.on_post_prompt.fire()
return line