In prompt-toolkit, you can control session and UI refresh rates by configuring the refresh_interval in your Application / Session constructor, which invalidates and redraws the UI automatically.
We should add this as a parameter to the cmd2.Cmd.__init__ method with a default value. The default value should probably match whatever the default value from prompt-toolkit is.
In
prompt-toolkit, you can control session and UI refresh rates by configuring therefresh_intervalin your Application / Session constructor, which invalidates and redraws the UI automatically.We should add this as a parameter to the
cmd2.Cmd.__init__method with a default value. The default value should probably match whatever the default value fromprompt-toolkitis.