ridiculousfish
7e7599b22a
Factor repainting decions from readline commands better in the reader
...
When typing into the command line, some actions should trigger repainting,
others should kick off syntax highlighting or autosuggestions, etc. Prior
to this change, these were all triggered in an ad-hoc manner. Each
possible
This change centralizes the logic around repainting. After each readline
command or text change, we compute the difference between what we would
draw and what was last drawn, and use that to decide whether to repaint
the screen.
This is a fairly involved change. Bugs here would show up as failing to
redraw, not reacting to a keypress, etc. However it better factors the
readline command handling from the drawing.
2020-08-23 03:41:17 -07:00
..
2020-08-04 12:40:46 -07:00
2020-07-04 14:58:02 -07:00
2020-08-04 21:44:59 +02:00
2020-08-06 21:24:26 +02:00
2020-08-08 15:30:04 -07:00
2019-10-13 15:50:48 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-11 17:42:30 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-15 16:06:54 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-11 17:42:30 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-08-05 12:23:49 -07:00
2020-06-24 20:43:56 +02:00
2019-11-25 14:13:33 -08:00
2020-07-30 22:08:54 -07:00
2020-07-29 16:37:39 -07:00
2020-08-13 16:03:15 +08:00
2020-01-16 15:21:28 -08:00
2020-03-14 15:07:54 -07:00
2020-08-23 03:41:17 -07:00
2019-10-13 15:50:48 -07:00
2020-07-29 16:37:39 -07:00
2020-01-29 14:16:16 -08:00
2020-08-05 12:23:49 -07:00
2020-06-25 00:56:49 -05:00
2020-08-09 15:05:16 -07:00
2020-03-14 15:07:54 -07:00
2020-08-05 12:23:49 -07:00
2020-08-06 11:51:08 -07:00
2020-07-14 15:19:10 -07:00
2020-04-05 10:13:13 +02:00
2020-07-08 11:00:12 -07:00
2020-07-08 11:00:12 -07:00
2020-03-14 15:07:54 -07:00
2020-02-12 22:02:32 +01:00
2020-08-17 17:40:28 +02:00
2020-05-05 12:33:22 +08:00
2020-08-10 12:26:30 -07:00
2020-08-11 17:42:30 -07:00
2019-05-05 12:09:25 +02:00
2018-01-08 22:28:10 -08:00
2020-08-15 16:06:54 -07:00
2020-07-29 17:04:18 -07:00
2020-08-23 03:41:17 -07:00
2020-07-04 14:58:05 -07:00
2020-07-04 14:58:05 -07:00
2020-01-15 13:16:43 -08:00
2019-10-13 15:50:48 -07:00
2019-10-13 15:50:48 -07:00
2020-08-11 17:42:30 -07:00
2020-08-11 17:42:30 -07:00
2020-04-05 10:13:13 +02:00
2020-04-05 10:13:13 +02:00
2020-07-12 16:57:30 -07:00
2020-05-22 13:36:46 -07:00
2020-04-05 10:13:13 +02:00
2020-08-01 12:09:31 +02:00
2020-08-23 03:41:17 -07:00
2020-03-14 15:07:54 -07:00
2020-01-19 14:22:50 +01:00
2016-05-01 20:28:46 -07:00
2020-07-30 22:45:44 -07:00
2020-07-30 23:00:34 -07:00
2020-05-22 13:41:05 -07:00
2020-03-06 17:15:21 -08:00
2020-07-19 16:42:29 -07:00
2020-07-19 16:42:29 -07:00
2019-11-29 23:46:51 -08:00
2019-10-23 19:38:44 +02:00
2020-08-08 15:32:06 -07:00
2020-08-05 12:23:49 -07:00
2020-05-01 13:30:56 -07:00
2020-05-01 13:30:56 -07:00
2020-01-16 15:21:28 -08:00
2020-05-30 14:22:44 -07:00
2020-08-09 15:05:16 -07:00
2020-08-23 03:38:25 -07:00
2020-08-23 03:41:17 -07:00
2020-08-23 03:41:17 -07:00
2020-07-09 14:22:04 -07:00
2020-08-15 16:06:54 -07:00
2020-08-13 15:30:15 -07:00
2020-07-12 16:57:30 -07:00
2020-07-12 16:57:30 -07:00
2020-08-11 13:11:48 -07:00
2020-07-12 16:57:30 -07:00
2020-08-08 15:04:52 -07:00
2016-06-23 17:26:08 -07:00
2020-08-13 15:30:15 -07:00
2020-08-15 16:06:54 -07:00
2020-07-29 17:04:18 -07:00
2020-01-15 13:16:43 -08:00
2020-07-27 14:51:37 -07:00
2020-07-27 14:51:37 -07:00
2019-10-13 15:50:48 -07:00
2016-05-02 22:07:58 -07:00
2020-08-16 12:56:42 -07:00
2020-08-07 12:34:53 -07:00
2020-08-23 03:41:17 -07:00
2020-08-23 03:41:17 -07:00
2019-12-29 15:51:22 -08:00
2019-12-29 14:49:05 -08:00
2020-05-01 13:30:56 -07:00
2019-11-25 13:07:15 +01:00
2020-08-23 03:38:25 -07:00
2020-07-05 08:55:17 +02:00
2020-08-06 19:01:30 -07:00
2020-08-06 19:01:30 -07:00
2020-07-29 17:04:18 -07:00
2020-06-07 20:00:42 -07:00
2020-04-05 10:13:13 +02:00
2020-01-03 01:07:49 -06:00
2020-05-01 13:30:56 -07:00
2020-02-07 17:43:22 +01:00
2020-07-07 13:48:35 -07:00
2020-07-07 13:48:35 -07:00
2020-08-20 14:58:18 -07:00
2020-08-20 14:58:18 -07:00
2020-03-14 15:07:54 -07:00
2019-11-02 14:40:57 -07:00
2020-05-01 13:30:56 -07:00
2019-11-25 14:13:33 -08:00
2020-04-05 10:13:13 +02:00
2020-02-14 19:06:19 +01:00
2020-07-29 19:36:20 -07:00
2020-07-29 19:36:20 -07:00
2020-08-09 15:05:16 -07:00
2020-04-05 10:13:13 +02:00
2020-07-01 00:44:06 +02:00
2020-02-29 15:56:52 -08:00
2020-08-09 15:05:16 -07:00
2020-08-09 15:05:16 -07:00