From c1e602c3fe3ca13ee5d77d2272bf08417968bcf3 2020-05-19 15:25:52
From: Matthias Bussonnier <bussonniermatthias@gmail.com>
Date: 2020-05-19 15:25:52
Subject: [PATCH] Merge pull request #12321 from marciomazza/patch-1


---

diff --git a/docs/source/config/details.rst b/docs/source/config/details.rst
index 6685b14..9e63232 100644
--- a/docs/source/config/details.rst
+++ b/docs/source/config/details.rst
@@ -247,7 +247,7 @@ VI input mode to ``Normal`` when in insert mode::
 
 For more information on filters and what you can do with the ``event`` object,
 `see the prompt_toolkit docs
-<http://python-prompt-toolkit.readthedocs.io/en/latest/pages/building_prompts.html#adding-custom-key-bindings>`__.
+<https://python-prompt-toolkit.readthedocs.io/en/latest/pages/asking_for_input.html#adding-custom-key-bindings>`__.
 
 
 Enter to execute