Fabian Homborg 8ff866b26b Add repaint-mode bind function ... If we switch the bind mode, we add a "force-repaint" there just to redraw the mode indicator. That's quite wasteful and annoying, considering that sometimes the prompt can take half a second. So we add a "repaint-mode" function that just reexecutes the mode-prompt and uses the cached values for the others. Fixes #5783.		2019-04-01 15:59:39 +02:00
..
cmds	Add repaint-mode bind function	2019-04-01 15:59:39 +02:00
commands.rst	Break out commands into its own file	2019-02-24 18:15:48 -08:00
conf.py	docs: Add labels to all commands	2019-03-31 11:05:33 +02:00
design.rst	Add design doc to Sphinx docs build	2019-02-24 18:22:52 -08:00
faq.rst	docs: More references	2019-03-31 11:48:35 +02:00
index.rst	docs: Remove a table	2019-03-31 11:56:12 +02:00
license.rst	docs/license: Fix "anonymous hyperlink" warning	2019-03-29 21:13:10 +01:00
tutorial.rst	docs: Fix example link	2019-03-31 11:50:28 +02:00