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
..
2018-10-29 13:56:40 -05:00
2016-11-27 21:27:22 -08:00
2018-05-12 13:48:32 +02:00
2019-02-19 11:02:58 +01:00
2016-11-27 21:27:22 -08:00
2017-07-13 11:53:29 -07:00
2016-11-27 21:27:22 -08:00
2017-10-01 01:11:17 -07:00
2019-01-13 16:14:58 -06:00
2016-11-27 21:27:22 -08:00
2018-11-22 12:43:35 +01:00
2016-11-27 21:27:22 -08:00
2018-12-13 21:57:24 +08:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2019-02-14 10:57:38 +01:00
2016-11-27 21:27:22 -08:00
2018-11-22 12:43:35 +01:00
2018-11-22 12:43:35 +01:00
2019-03-09 13:44:03 -08:00
2017-04-05 15:31:13 -07:00
2016-11-27 21:27:22 -08:00