Tom Tromey
e2c04ee000
Style history variable output
...
When printing a value, I think the history reference -- the "$1" in
the output -- should be styled using the "variable" style. This patch
implements this.
2023-10-22 09:03:42 -06:00
..
2023-08-31 07:52:59 -07:00
2023-09-04 13:54:36 +02:00
2023-10-06 13:02:36 +01:00
2023-07-14 08:39:24 -07:00
2023-09-05 18:48:22 +00:00
2023-07-10 10:49:59 +01:00
2023-07-10 10:49:59 +01:00
2023-10-05 12:21:46 +01:00
2023-10-08 09:52:29 +02:00
2023-10-16 11:56:26 +01:00
2023-10-16 11:56:26 +01:00
2023-09-29 10:55:43 -06:00
2023-09-05 18:48:22 +00:00
2023-10-04 17:43:23 +02:00
2023-07-23 09:25:48 +01:00
2023-07-10 12:16:30 +01:00
2023-09-05 18:48:22 +00:00
2023-09-14 20:34:00 +02:00
2023-08-04 15:02:43 +02:00
2023-08-04 15:02:43 +02:00
2023-08-04 15:05:57 +02:00
2023-10-06 13:02:36 +01:00
2023-10-18 08:26:20 +02:00
2023-10-02 14:24:47 -04:00
2023-08-16 09:55:52 +01:00
2023-07-14 10:58:17 +02:00
2023-09-19 14:06:49 +02:00
2023-08-05 17:57:13 +02:00
2023-09-05 18:48:22 +00:00
2023-10-09 10:43:34 +01:00
2023-07-14 08:39:24 -07:00
2023-07-07 15:20:28 +01:00
2023-07-07 15:20:28 +01:00
2023-07-07 15:20:28 +01:00
2023-07-07 15:20:28 +01:00
2023-09-29 10:55:43 -06:00
2023-07-22 11:00:25 +02:00
2023-09-19 06:56:53 -06:00
2023-09-19 06:56:53 -06:00
2023-09-05 18:48:22 +00:00
2023-08-26 10:10:59 -06:00
2023-08-26 10:10:59 -06:00
2023-08-26 10:10:59 -06:00
2023-07-26 11:53:31 +02:00
2023-09-29 10:55:43 -06:00
2023-09-29 10:55:43 -06:00
2023-10-22 09:03:42 -06:00
2023-09-28 09:47:36 +02:00
2023-09-28 09:47:36 +02:00
2023-09-28 09:47:36 +02:00
2023-09-28 09:47:36 +02:00
2023-09-28 09:47:36 +02:00
2023-08-23 10:29:17 +01:00
2023-08-16 14:59:51 +01:00
2023-08-17 10:21:18 +02:00