Julien Lepiller
28ca80717d
guix: Properly compute progress bar width.
...
* guix/progress.scm (progress-reporter/bar): Take font width into account to
compute progress bar width.
* guix/git.scm (show-progress): Take font width into account to compute
progress bar width.
Change-Id: I946e447c1ea7c6eb4ff805400280f39e8f1a7c02
2023-11-11 11:07:47 +01:00
..
2023-11-11 11:07:27 +01:00
2023-11-09 19:08:42 +01:00
2023-11-03 22:49:10 +01:00
2023-08-12 23:02:31 +02:00
2023-11-05 23:23:23 +01:00
2023-06-18 23:36:25 +02:00
2023-05-31 23:25:24 +02:00
2023-05-11 13:23:08 +02:00
2023-07-11 15:47:56 +02:00
2023-03-13 15:08:33 +01:00
2022-05-31 14:54:02 -04:00
2023-07-11 15:47:56 +02:00
2023-10-28 00:17:24 +02:00
2023-06-02 15:47:27 +02:00
2022-04-19 18:07:49 +02:00
2021-12-20 16:21:40 +01:00
2023-09-26 17:36:58 +02:00
2023-02-25 14:50:33 -05:00
2023-07-12 16:48:28 +03:00
2021-04-21 23:53:49 +02:00
2023-05-11 13:23:08 +02:00
2022-04-12 20:32:32 +02:00
2023-03-13 15:08:33 +01:00
2023-05-31 23:25:25 +02:00
2023-03-13 15:08:33 +01:00
2021-11-23 10:24:27 +01:00
2023-08-26 11:38:56 -04:00
2023-05-04 13:08:59 +02:00
2023-02-27 15:54:09 +01:00
2023-03-13 15:08:33 +01:00
2023-11-07 12:33:26 -05:00
2023-11-11 11:07:47 +01:00
2023-09-11 23:39:13 -04:00
2023-10-28 00:17:23 +02:00
2023-08-25 14:24:43 +02:00
2022-01-06 16:27:30 +01:00
2023-05-11 13:23:08 +02:00
2022-05-22 01:07:52 +02:00
2023-11-05 23:23:23 +01:00
2023-03-13 15:08:33 +01:00
2022-06-10 23:52:34 -04:00
2023-08-01 19:40:19 +08:00
2023-11-05 17:51:38 +00:00
2022-03-02 00:00:55 -05:00
2022-12-02 23:20:54 +01:00
2022-07-15 17:36:57 +02:00
2022-07-10 23:57:14 +02:00
2023-05-30 00:15:29 +02:00
2023-10-28 00:17:24 +02:00
2023-03-13 15:08:33 +01:00
2023-07-13 19:00:14 +02:00
2023-10-28 00:17:24 +02:00
2023-11-11 11:07:47 +01:00
2023-09-24 02:00:00 +02:00
2023-06-09 14:19:14 +02:00
2023-03-13 15:08:33 +01:00
2023-02-22 10:41:35 -05:00
2023-03-13 15:08:33 +01:00
2023-10-04 23:30:41 -04:00
2023-09-26 17:36:58 +02:00
2023-03-13 15:08:33 +01:00
2023-08-22 11:17:53 +02:00
2023-04-12 08:29:37 -04:00
2023-03-13 15:08:33 +01:00
2023-03-27 18:48:51 +02:00
2023-07-18 18:16:55 +02:00
2022-02-14 11:23:07 +01:00
2023-09-17 15:31:03 +02:00
2023-10-17 14:51:53 +02:00
2023-09-13 22:17:21 +02:00
2023-10-26 15:21:35 +02:00