mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2026-11-02 09:00:00 -06:00
* Disable arrow keys when a modifier key is pressed Closes #7088. * #7088 document key navigation option * add change note for #7088 Co-authored-by: Timotheus Kampik <timotheus.kampik@signavio.com>