Fabian Homborg 69c71052ef Remove __fish_repaint
This was a handler for various prompt variables that called a repaint.

Unfortunately, if you set one of those *inside* the prompt (a logical
place for it), this would lead to something like #7775.

So, because this isn't actually *useful* as far as I can see (how do
you set these variables in a way that you're not already inside a
prompt or about to draw a prompt? in a key binding?), we remove it,
like we removed the repaint from git's variable handlers.
2021-03-04 19:20:31 +01:00
..
2020-05-28 17:41:01 +02:00
2020-11-22 14:39:48 +01:00
2019-05-05 12:09:25 +02:00
2019-05-05 12:09:25 +02:00
2019-05-05 12:09:25 +02:00
2020-02-17 14:14:05 +01:00
2019-05-05 12:09:25 +02:00
2019-05-05 12:09:25 +02:00
2020-11-22 14:39:48 +01:00
2020-04-21 21:11:26 +02:00
2020-01-24 19:05:08 +01:00
2018-05-12 13:48:32 +02:00
2020-09-12 20:17:30 +02:00
2017-10-01 01:11:17 -07:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2020-07-12 14:18:42 -05:00
2019-02-14 10:57:38 +01:00
2020-07-21 16:59:05 +02:00
2020-04-26 14:39:15 +02:00
2017-04-05 15:31:13 -07:00