Peter Ammon 313bd558da
Resume repainting command line when colors change
This restores a hack to trigger a command line repaint when "$fish_color_*" or
"$fish_pager_color_*" changes. These allow the command line to react immediately
to changes in other sessions or web_config.

This was removed in ff62d172e5cd4676c2bc095cfe3d0379e71cf2c7 but there does not
appear to be a handler which actually redraws these.

Revert of ff62d172e5cd4676c2bc095cfe3d0379e71cf2c7
2024-08-24 15:02:14 -07:00
..
2024-08-06 14:15:57 +02:00
2024-08-20 14:48:59 -05:00
2024-06-06 16:47:52 +02:00
2024-05-06 14:59:36 -05:00
2024-07-23 11:47:58 +02:00
2024-06-29 18:03:52 -07:00
2024-07-23 11:47:58 +02:00
2024-06-06 16:47:52 +02:00
2024-06-12 08:11:16 +02:00
2024-04-29 22:00:59 +02:00
2024-06-06 17:11:25 +02:00
2024-01-13 08:52:54 +01:00
2024-06-29 18:03:52 -07:00
2024-05-26 10:37:37 +02:00
2024-01-13 03:58:33 +01:00
2024-01-13 03:58:33 +01:00
2024-06-29 18:03:52 -07:00
2024-06-29 18:03:52 -07:00
2024-06-23 16:39:39 -07:00
2024-06-29 18:03:52 -07:00
2024-01-13 03:58:33 +01:00
2024-01-13 08:52:54 +01:00
2024-08-06 14:15:03 +02:00