Leon Anavi 2dfe32fd82
python3-prompt-toolkit: Upgrade 3.0.10 -> 3.0.11 ...
Upgrade to release 3.0.11:
- Poll terminal size: better handle resize events when the
application runs in a thread other than the main thread (where
handling SIGWINCH doesn't work) or in the Windows console.
- Fix bug in system toolbar. The execution of system commands was
broken.
- A refactoring of patch_stdout that includes several fixes.
- A refactoring of the `ThreadedHistory`, which includes several
fixes, in particular a race condition that happened when editing
input while a big history was still being loaded in the
background.
Signed-off-by: Leon Anavi <leon.anavi@konsulko.com >
Acked-by: Trevor Gamblin <trevor.gamblin@windriver.com >
Signed-off-by: Khem Raj <raj.khem@gmail.com >
2021-01-25 14:34:06 -08:00
2020-06-29 08:22:57 -07:00
2020-06-29 08:23:02 -07:00
2021-01-04 14:48:29 -08:00
2020-06-03 15:15:42 -07:00
2020-06-29 08:23:13 -07:00
2020-06-29 08:23:18 -07:00
2020-07-06 10:21:18 -07:00
2020-07-03 18:07:00 -07:00
2020-06-17 08:57:49 -07:00
2020-07-03 18:07:05 -07:00
2020-07-03 18:07:09 -07:00
2020-08-06 10:26:29 -07:00
2020-06-17 08:57:58 -07:00
2020-06-17 08:58:02 -07:00
2020-06-17 08:55:53 -07:00
2020-06-17 08:57:43 -07:00
2020-07-06 10:20:11 -07:00
2020-06-17 08:56:52 -07:00
2020-07-12 19:04:17 -07:00
2020-06-11 07:42:47 -07:00
2020-06-17 08:56:34 -07:00
2020-06-17 08:56:43 -07:00
2020-06-17 08:56:47 -07:00
2021-01-12 09:16:03 -08:00
2020-07-12 19:04:17 -07:00
2020-09-28 20:49:15 -07:00
2020-07-16 12:10:25 -07:00
2020-07-12 19:04:17 -07:00
2020-07-16 12:10:32 -07:00
2020-07-16 12:10:35 -07:00
2020-07-16 12:10:39 -07:00
2020-10-16 23:11:58 -07:00
2020-09-16 09:16:41 -07:00
2020-07-16 12:10:43 -07:00
2020-07-03 18:07:12 -07:00
2020-07-06 10:18:56 -07:00
2020-07-06 10:19:15 -07:00
2020-09-05 13:04:40 -07:00
2021-01-25 14:34:06 -08:00
2020-05-19 17:14:09 -07:00
2020-09-05 13:04:22 -07:00
2021-01-04 14:48:29 -08:00
2020-11-04 11:09:39 -08:00
2021-01-12 09:15:10 -08:00
2020-05-19 17:14:08 -07:00
2021-01-25 14:34:06 -08:00
2020-11-27 11:54:04 -08:00
2020-06-29 08:22:57 -07:00
2020-06-29 08:23:02 -07:00
2020-05-21 15:09:34 -07:00
2021-01-08 08:41:14 -08:00
2020-11-12 12:45:11 -08:00
2020-11-23 13:00:55 -08:00
2020-08-25 10:33:13 -07:00
2020-08-06 10:26:35 -07:00
2021-01-04 14:48:29 -08:00
2020-06-26 08:56:37 -07:00
2021-01-04 14:48:29 -08:00
2020-06-03 15:15:42 -07:00
2021-01-08 08:42:39 -08:00
2020-08-10 10:58:00 -07:00
2020-06-29 08:23:13 -07:00
2021-01-04 14:48:29 -08:00
2020-08-18 09:37:10 -07:00
2020-10-07 08:42:38 -07:00
2020-07-06 10:21:18 -07:00
2021-01-25 14:34:06 -08:00
2020-05-28 12:36:49 -07:00
2020-11-27 11:54:04 -08:00
2020-07-03 18:07:00 -07:00
2020-06-22 08:38:19 -07:00
2021-01-04 14:48:29 -08:00
2020-06-17 08:57:24 -07:00
2021-01-08 08:42:29 -08:00
2020-07-03 18:07:17 -07:00
2020-10-04 20:22:59 -07:00
2020-11-12 12:45:00 -08:00
2021-01-12 09:16:35 -08:00
2021-01-14 11:58:03 -08:00
2021-01-04 14:48:29 -08:00
2021-01-20 09:30:18 -08:00
2020-07-03 18:07:09 -07:00
2020-08-25 10:33:30 -07:00
2020-08-25 10:33:34 -07:00
2020-11-18 08:17:53 -08:00
2020-10-22 22:16:35 -07:00
2021-01-12 09:15:42 -08:00
2021-01-20 09:30:05 -08:00
2020-07-03 18:07:23 -07:00
2020-06-19 10:17:50 -07:00
2020-10-13 22:27:59 -07:00
2021-01-25 14:34:06 -08:00
2020-06-29 08:22:13 -07:00
2021-01-25 14:34:06 -08:00
2021-01-14 11:58:45 -08:00
2021-01-14 11:58:50 -08:00
2020-08-25 10:33:17 -07:00
2020-11-12 16:13:30 -08:00
2020-11-04 11:09:47 -08:00
2020-09-24 12:51:54 -07:00
2021-01-20 09:30:43 -08:00
2020-05-28 12:36:49 -07:00
2020-06-08 13:57:34 -07:00
2020-11-18 08:18:15 -08:00
2020-11-23 13:00:54 -08:00
2020-09-11 17:44:02 -07:00
2020-09-15 09:28:34 -07:00
2020-09-30 15:58:14 -07:00
2021-01-12 09:16:21 -08:00
2020-09-24 12:52:49 -07:00
2020-10-22 22:17:04 -07:00
2020-11-12 12:45:11 -08:00
2021-01-14 11:58:35 -08:00
2020-06-05 18:42:55 -07:00
2020-06-05 18:43:03 -07:00
2021-01-25 14:34:06 -08:00
2020-09-07 11:28:04 -07:00
2020-12-21 17:53:34 -08:00
2020-11-27 11:54:04 -08:00
2020-06-05 18:43:10 -07:00
2020-08-27 15:07:35 -07:00
2020-08-31 08:27:05 -07:00
2020-08-13 22:32:07 -07:00
2020-09-02 08:55:41 -07:00
2020-08-31 08:27:14 -07:00
2020-09-02 08:55:34 -07:00
2020-09-02 08:55:46 -07:00
2020-08-31 08:27:23 -07:00
2020-08-31 08:26:13 -07:00
2020-08-31 08:27:33 -07:00
2020-09-23 10:13:31 -07:00
2020-09-02 08:51:48 -07:00
2020-06-19 10:17:50 -07:00
2020-08-27 15:07:50 -07:00
2020-06-08 13:58:02 -07:00
2020-08-13 22:32:07 -07:00
2020-06-17 08:55:53 -07:00
2020-09-28 20:49:15 -07:00
2020-07-16 07:08:46 -07:00
2021-01-04 14:48:29 -08:00
2020-07-16 07:10:24 -07:00
2021-01-25 14:34:06 -08:00
2020-10-19 18:40:24 -07:00
2021-01-20 09:27:59 -08:00
2020-08-25 10:36:15 -07:00
2020-06-17 08:57:43 -07:00
2020-07-06 10:20:11 -07:00
2020-09-15 09:28:34 -07:00
2020-06-17 08:56:52 -07:00
2020-07-03 18:06:51 -07:00
2020-06-29 08:22:06 -07:00
2020-08-13 22:32:07 -07:00
2021-01-08 08:42:04 -08:00
2020-12-21 17:53:26 -08:00
2021-01-12 09:16:17 -08:00
2020-11-12 12:45:04 -08:00
2020-07-12 19:04:17 -07:00
2020-07-10 09:35:26 -07:00
2020-06-17 08:57:04 -07:00
2020-08-25 10:34:14 -07:00
2020-06-17 08:56:34 -07:00
2020-06-17 08:56:43 -07:00
2020-11-04 11:10:16 -08:00
2020-08-10 10:57:49 -07:00
2020-06-17 08:56:47 -07:00
2020-09-15 09:28:34 -07:00
2020-06-17 08:57:00 -07:00
2021-01-14 11:58:17 -08:00
2020-06-17 08:57:09 -07:00
2020-08-13 22:32:08 -07:00
2020-08-10 10:57:40 -07:00
2021-01-12 09:16:39 -08:00
2020-11-23 22:51:38 -08:00
2021-01-08 08:41:05 -08:00
2020-11-23 13:00:54 -08:00
2020-06-13 21:34:21 -07:00
2021-01-12 09:15:49 -08:00
2020-06-08 13:58:03 -07:00
2020-06-13 21:34:21 -07:00
2020-07-03 18:07:33 -07:00
2020-11-04 11:10:02 -08:00
2020-11-04 11:09:53 -08:00
2020-08-06 10:27:31 -07:00
2020-07-06 10:19:48 -07:00
2020-06-25 10:22:45 -07:00
2020-08-03 17:43:42 -07:00
2020-06-26 08:55:53 -07:00
2020-12-21 17:53:38 -08:00
2020-11-27 11:54:04 -08:00
2021-01-20 09:30:28 -08:00
2021-01-25 14:34:06 -08:00
2020-11-04 11:09:21 -08:00
2020-11-24 16:01:53 -08:00
2020-12-15 00:52:55 -08:00
2020-09-05 13:04:11 -07:00
2020-06-11 07:43:01 -07:00
2021-01-12 09:16:44 -08:00
2021-01-14 11:58:26 -08:00
2020-09-16 09:16:37 -07:00
2020-08-25 10:34:33 -07:00
2021-01-08 08:41:19 -08:00
2021-01-04 14:48:29 -08:00
2020-06-25 10:22:28 -07:00
2020-07-16 12:10:15 -07:00
2020-06-25 10:22:16 -07:00
2020-08-25 10:33:56 -07:00
2020-09-05 13:04:16 -07:00
2021-01-08 08:40:54 -08:00
2021-01-08 08:41:24 -08:00
2020-08-31 08:26:58 -07:00
2020-06-10 20:55:46 -07:00
2020-07-21 16:46:36 -07:00
2021-01-20 09:30:32 -08:00
2020-06-26 08:55:01 -07:00
2020-06-26 08:55:45 -07:00
2020-09-24 12:52:12 -07:00
2021-01-25 14:34:06 -08:00
2020-05-22 08:41:41 -07:00
2020-10-16 23:11:58 -07:00
2021-01-20 09:29:46 -08:00
2020-06-13 21:34:21 -07:00
2021-01-12 09:15:58 -08:00
2020-10-16 23:11:58 -07:00
2020-05-19 17:14:09 -07:00
2020-07-12 19:04:17 -07:00
2020-06-18 17:56:19 -07:00
2020-06-18 17:56:11 -07:00
2020-08-10 10:57:57 -07:00
2020-08-03 17:42:52 -07:00
2020-06-11 21:58:29 -07:00
2021-01-12 09:16:03 -08:00
2020-09-24 12:52:24 -07:00
2020-06-29 08:22:33 -07:00
2020-06-11 21:58:29 -07:00
2020-06-19 10:20:36 -07:00
2020-06-22 08:38:00 -07:00
2020-11-27 11:54:04 -08:00
2020-06-11 07:44:06 -07:00
2021-01-25 14:34:06 -08:00
2020-06-17 08:57:38 -07:00
2021-01-08 08:41:09 -08:00
2021-01-12 09:16:31 -08:00
2020-06-29 08:22:41 -07:00
2020-05-19 17:14:08 -07:00
2020-08-06 10:26:45 -07:00
2020-07-06 10:21:06 -07:00
2020-06-05 18:42:15 -07:00
2020-10-07 08:42:21 -07:00
2020-08-18 09:37:53 -07:00
2020-07-06 10:20:02 -07:00
2021-01-12 09:16:13 -08:00
2020-06-05 18:42:47 -07:00
2020-05-21 15:09:34 -07:00
2020-09-28 20:49:15 -07:00
2020-09-05 13:04:00 -07:00
2020-10-22 22:16:54 -07:00
2020-11-04 11:08:50 -08:00
2020-07-03 18:06:32 -07:00
2020-07-06 10:19:43 -07:00
2020-11-04 11:09:57 -08:00
2020-06-26 08:56:14 -07:00
2021-01-14 11:58:12 -08:00
2021-01-25 14:34:06 -08:00
2021-01-12 09:15:54 -08:00
2021-01-04 14:48:29 -08:00
2021-01-20 09:30:38 -08:00
2020-08-11 09:42:55 -07:00
2021-01-14 11:58:30 -08:00
2020-10-13 22:29:01 -07:00
2021-01-20 09:30:14 -08:00
2020-11-27 11:54:04 -08:00
2020-09-15 09:28:34 -07:00
2020-09-16 09:16:27 -07:00
2021-01-20 09:30:23 -08:00
2021-01-25 14:34:06 -08:00
2020-10-04 20:23:10 -07:00
2020-08-19 14:04:15 -07:00
2020-05-28 12:36:49 -07:00
2021-01-08 08:42:20 -08:00
2020-08-13 22:32:08 -07:00
2020-08-19 14:04:10 -07:00
2020-07-12 19:04:17 -07:00
2020-05-28 12:37:24 -07:00
2021-01-25 14:34:06 -08:00
2021-01-25 14:34:06 -08:00
2021-01-25 14:34:06 -08:00
2020-07-16 07:10:28 -07:00
2020-06-29 08:22:01 -07:00
2020-08-13 22:32:08 -07:00
2021-01-14 11:58:40 -08:00
2021-01-08 08:40:29 -08:00
2020-07-16 12:10:25 -07:00
2020-06-08 13:58:02 -07:00
2020-07-12 19:04:17 -07:00
2020-09-21 08:57:41 -07:00
2020-09-05 13:03:48 -07:00
2021-01-14 11:58:08 -08:00
2020-09-16 09:16:33 -07:00
2020-06-12 08:46:25 -07:00
2020-10-22 22:16:49 -07:00
2021-01-08 08:42:34 -08:00
2020-06-03 15:15:24 -07:00
2021-01-18 14:30:00 -08:00
2020-07-23 10:26:48 -07:00
2021-01-25 14:34:06 -08:00
2021-01-20 09:29:51 -08:00
2020-07-16 12:10:35 -07:00
2021-01-20 09:29:56 -08:00
2020-06-26 08:56:04 -07:00
2021-01-08 08:40:59 -08:00
2020-06-25 10:21:34 -07:00
2021-01-08 08:42:10 -08:00
2020-10-16 23:11:58 -07:00
2020-06-19 10:17:50 -07:00
2020-12-21 17:53:15 -08:00
2021-01-08 08:41:54 -08:00
2020-09-05 13:04:28 -07:00
2020-08-25 10:33:08 -07:00
2020-09-16 09:16:41 -07:00
2020-08-06 10:25:55 -07:00
2020-09-15 09:28:34 -07:00
2020-07-10 09:35:37 -07:00
2020-11-04 11:10:11 -08:00
2020-10-28 10:22:05 -07:00
2020-09-15 09:28:34 -07:00
2020-05-19 17:14:08 -07:00
2020-10-28 10:22:05 -07:00
2021-01-08 08:42:15 -08:00
2021-01-08 08:41:59 -08:00
2020-06-13 21:34:21 -07:00
2020-08-31 08:26:52 -07:00
2021-01-08 08:41:40 -08:00
2020-11-12 12:45:11 -08:00
2020-08-25 10:34:20 -07:00
2020-06-03 15:15:16 -07:00
2020-10-28 10:22:05 -07:00
2021-01-25 14:34:06 -08:00
2020-07-06 10:18:56 -07:00
2020-07-06 10:19:15 -07:00
2020-11-27 11:54:04 -08:00
2020-06-10 20:56:11 -07:00
2021-01-04 14:48:29 -08:00
2020-11-12 12:45:11 -08:00
2020-07-06 10:20:25 -07:00
2021-01-14 11:58:55 -08:00
2020-12-21 17:52:34 -08:00
2020-08-11 09:42:41 -07:00
2020-10-19 18:40:15 -07:00
2020-05-19 17:14:08 -07:00
2020-08-06 10:27:35 -07:00
2020-08-25 10:33:03 -07:00
2021-01-20 09:30:47 -08:00
2020-11-27 11:54:04 -08:00
2021-01-20 09:30:00 -08:00
2020-06-11 21:58:29 -07:00
2020-11-18 08:18:37 -08:00
2020-07-12 19:04:17 -07:00
2020-11-12 12:45:11 -08:00
2dfe32fd82