This PR adds the option of having a modal cursor when using the vi mode.
It does this by setting the cursor option of the PromptSession equal to an instance of
ModalCursorShapeConfig from here.
Furthermore, it adds two news options to the config file:
The option to have a modal cursor (when using vi mode)
An option to change the ttimeoutlen parameter of the main Application from prompt_toolkit
The ttimeoutlen is a timeout setting that affects the handling of keys; in this case, when to flush the input. I.e. it determines how long does it it take when the escape key has been pressed for prompt_toolkit to register this and change the prompt layout according to the vi mode. See the prompt_toolkit docs.
Together with #289 this yields a descent vi mode layout for the jupyter_console.
This PR adds the option of having a modal cursor when using the
vimode. It does this by setting thecursoroption of thePromptSessionequal to an instance ofModalCursorShapeConfigfrom here. Furthermore, it adds two news options to the config file:vimode)ttimeoutlenparameter of the main Application fromprompt_toolkitThe
ttimeoutlenis a timeout setting that affects the handling of keys; in this case, when to flush the input. I.e. it determines how long does it it take when the escape key has been pressed forprompt_toolkitto register this and change the prompt layout according to thevimode. See the prompt_toolkit docs.Together with #289 this yields a descent vi mode layout for the
jupyter_console.